Symbol: thunk_timer_getoverrun
sys/arch/usermode/dev/clock.c
116
int nticks = thunk_timer_getoverrun(clock_timerid) + 1;
sys/arch/usermode/include/thunk.h
93
int thunk_timer_getoverrun(timer_t);