int syscall_handler (int syscall_num) { switch (syscall_num) { case 0: return sys_get_ticks (); default: break; } }
uint64_t get_ticks() { return sys_get_ticks(); }