Searched refs:thunk_timer_start (Results 1 – 3 of 3) sorted by relevance
92 int thunk_timer_start(timer_t, int);
474 thunk_timer_start(clock_timerid, HZ); in cpu_initclocks()
327 thunk_timer_start(timer_t timerid, int freq) in thunk_timer_start() function