HomeSort by: relevance | last modified time | path
    Searched refs:clock_timerid (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/arch/usermode/dev/
clock.c 74 timer_t clock_timerid; variable
104 clock_timerid = thunk_timer_attach();
116 int nticks = thunk_timer_getoverrun(clock_timerid) + 1;
cpu.c 472 extern timer_t clock_timerid;
474 thunk_timer_start(clock_timerid, HZ);

Completed in 16 milliseconds