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