Index: uspace/app/trace/trace.c
===================================================================
--- uspace/app/trace/trace.c	(revision a5c3f731be694ca7380c472c0336a1f3501e4e22)
+++ uspace/app/trace/trace.c	(revision 356acd03b058b7d85d7e5258b683635e430a3266)
@@ -137,5 +137,5 @@
 }
 
-void val_print(int val, val_type_t v_type)
+void val_print(sysarg_t val, val_type_t v_type)
 {
 	switch (v_type) {
@@ -145,27 +145,27 @@
 
 	case V_INTEGER:
-		printf("%d", val);
+		printf("%ld", val);
 		break;
 
 	case V_HASH:
-		printf("0x%08x", val);
+		printf("0x%08lx", val);
 		break;
 
 	case V_ERRNO:
 		if (val >= -15 && val <= 0) {
-			printf("%d %s (%s)", val,
+			printf("%ld %s (%s)", val,
 			    err_desc[-val].name,
 			    err_desc[-val].desc);
 		} else {
-			printf("%d", val);
+			printf("%ld", val);
 		}
 		break;
 	case V_INT_ERRNO:
 		if (val >= -15 && val < 0) {
-			printf("%d %s (%s)", val,
+			printf("%ld %s (%s)", val,
 			    err_desc[-val].name,
 			    err_desc[-val].desc);
 		} else {
-			printf("%d", val);
+			printf("%ld", val);
 		}
 		break;
@@ -182,5 +182,5 @@
 			case '\t': printf("'\\t'"); break;
 			case '\\': printf("'\\\\'"); break;
-			default: printf("'\\x%X'"); break;
+			default: printf("'\\x%02lX'", val); break;
 			}
 		}
@@ -190,5 +190,5 @@
 
 
-static void print_sc_retval(int retval, val_type_t val_type)
+static void print_sc_retval(sysarg_t retval, val_type_t val_type)
 {
 	printf(" -> ");
Index: uspace/app/trace/trace.h
===================================================================
--- uspace/app/trace/trace.h	(revision a5c3f731be694ca7380c472c0336a1f3501e4e22)
+++ uspace/app/trace/trace.h	(revision 356acd03b058b7d85d7e5258b683635e430a3266)
@@ -36,4 +36,6 @@
 #define TRACE_H_
 
+#include <sys/types.h>
+
 /**
  * Classes of events that can be displayed. Can be or-ed together.
@@ -62,5 +64,5 @@
 extern display_mask_t display_mask;
 
-void val_print(int val, val_type_t v_type);
+void val_print(sysarg_t val, val_type_t v_type);
 
 #endif