Searched refs:clock_timerid (Results 1 – 2 of 2) sorted by relevance
74 timer_t clock_timerid; variable104 clock_timerid = thunk_timer_attach(); in clock_attach()116 int nticks = thunk_timer_getoverrun(clock_timerid) + 1; in clock_intr()
472 extern timer_t clock_timerid; in cpu_initclocks()474 thunk_timer_start(clock_timerid, HZ); in cpu_initclocks()