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

  /src/sys/arch/usermode/dev/
clock.c 116 int nticks = thunk_timer_getoverrun(clock_timerid) + 1;
  /src/sys/arch/usermode/include/
thunk.h 93 int thunk_timer_getoverrun(timer_t);
  /src/sys/arch/usermode/usermode/
thunk.c 339 thunk_timer_getoverrun(timer_t timerid) function in typeref:typename:int

Completed in 13 milliseconds