path: root/kernel/scalls/uptime.h

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