Index: uspace/lib/c/generic/time.c
===================================================================
--- uspace/lib/c/generic/time.c	(revision 72df6137a2746e071c014a12889a0ff9d0eec586)
+++ uspace/lib/c/generic/time.c	(revision 3c453534a2b093c8039d8e8059b923c71f3492a3)
@@ -717,5 +717,5 @@
 }
 
-void udelay(usec_t time)
+void udelay(sysarg_t time)
 {
 	(void) __SYSCALL1(SYS_THREAD_UDELAY, (sysarg_t) time);
Index: uspace/lib/c/include/time.h
===================================================================
--- uspace/lib/c/include/time.h	(revision 72df6137a2746e071c014a12889a0ff9d0eec586)
+++ uspace/lib/c/include/time.h	(revision 3c453534a2b093c8039d8e8059b923c71f3492a3)
@@ -152,5 +152,5 @@
 extern errno_t time_local2str(const time_t, char *);
 
-extern void udelay(usec_t);
+extern void udelay(sysarg_t);
 
 #ifdef __cplusplus