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