From 3756e0ac38b6d15d6781d2590b1d0330f97903b5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Duval?= <jerome.duval@gmail.com>
Date: Mon, 29 Apr 2013 21:20:35 +0200
Subject: [PATCH] kernel: use uint64 instead of int64 to avoid narrowing
 conversion warnings.

* gdb_register is used only in arch_debug.cpp
---
 src/system/kernel/arch/x86/arch_debug.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/system/kernel/arch/x86/arch_debug.cpp b/src/system/kernel/arch/x86/arch_debug.cpp
index ce61320f30..ea84e5c807 100644
--- a/src/system/kernel/arch/x86/arch_debug.cpp
+++ b/src/system/kernel/arch/x86/arch_debug.cpp
@@ -1252,7 +1252,7 @@ arch_get_debug_variable(const char* variableName, uint64* value)
 
 struct gdb_register {
 	int32 type;
-	int64 value;
+	uint64 value;
 };