Symbol: thunk_timer_start
sys/arch/usermode/dev/cpu.c
474
thunk_timer_start(clock_timerid, HZ);
sys/arch/usermode/include/thunk.h
92
int thunk_timer_start(timer_t, int);