Index: generic/src/time/timeout.c
===================================================================
--- generic/src/time/timeout.c	(revision cc73a8a1c3f4258036feb316078a8f908f7bfe40)
+++ generic/src/time/timeout.c	(revision 0ffa3ef51d117153ad4c8c5fdb3b525ff042ef01)
@@ -104,10 +104,10 @@
  *
  */
-void timeout_register(timeout_t *t, __u64 time, timeout_handler_t f, void *arg)
+void timeout_register(timeout_t *t, uint64_t time, timeout_handler_t f, void *arg)
 {
 	timeout_t *hlp = NULL;
 	link_t *l, *m;
 	ipl_t ipl;
-	__u64 sum;
+	uint64_t sum;
 
 	ipl = interrupts_disable();