Change return type of uptime to u64

92624e13 · Silas Boyd-Wickizer · e2c6563b · 92624e13
--- a/include/user.h
+++ b/include/user.h
@@ -26,7 +26,7 @@ int dup(int);
 int getpid(void);
 char* sbrk(int);
 int nsleep(u64);
-int uptime(void);
+u64 uptime(void);
 int map(void *addr, int len);
 int unmap(void *addr, int len);
 void halt(void);