Searched refs:thunk_timer_getoverrun (Results 1 – 3 of 3) sorted by relevance
116 int nticks = thunk_timer_getoverrun(clock_timerid) + 1; in clock_intr()
93 int thunk_timer_getoverrun(timer_t);
339 thunk_timer_getoverrun(timer_t timerid) in thunk_timer_getoverrun() function