Index: src/debug/print.c
===================================================================
--- src/debug/print.c	(revision 18e0a6cbb4a87376b6e5f46a009b38a9b0e50592)
+++ src/debug/print.c	(revision 10caad058d67667161638f7fa111c763899ec013)
@@ -67,5 +67,5 @@
  *
  */
-void print_fixed_hex(const __native num, const int width)
+void print_fixed_hex(const __u64 num, const int width)
 {
 	int i;
@@ -187,5 +187,5 @@
 					print_str("0x");
 				case 'q':
-		    			print_fixed_hex(va_arg(ap, __native), INT64);
+		    			print_fixed_hex(va_arg(ap, __u64), INT64);
 					goto loop;