#include <typedefs.h>
u32 syscall_uptime(void);