Index: kernel/test/fpu/fpu1_x86.c
===================================================================
--- kernel/test/fpu/fpu1_x86.c	(revision 7e752b2a0d66c871748e5fa9e8bbe3a27c70a202)
+++ kernel/test/fpu/fpu1_x86.c	(revision 682cfceb0fac70ed2ce62b080f6509aca8df9809)
@@ -83,5 +83,5 @@
 		if ((int) (100000000 * e) != E_10e8) {
 			TPRINTF("tid%" PRIu64 ": e*10e8=%" PRIun " should be %" PRIun "\n",
-			    THREAD->tid, (unative_t) (100000000 * e), (unative_t) E_10e8);
+			    THREAD->tid, (sysarg_t) (100000000 * e), (sysarg_t) E_10e8);
 			atomic_inc(&threads_fault);
 			break;
@@ -117,5 +117,5 @@
 		if ((int) (100000000 * pi) != PI_10e8) {
 			TPRINTF("tid%" PRIu64 ": pi*10e8=%" PRIun " should be %" PRIun "\n",
-			    THREAD->tid, (unative_t) (100000000 * pi), (unative_t) PI_10e8);
+			    THREAD->tid, (sysarg_t) (100000000 * pi), (sysarg_t) PI_10e8);
 			atomic_inc(&threads_fault);
 			break;