path: root/kernel/scalls/uptime.h

#include <stdint.h>
uint32_t syscall_uptime(void);