Searched defs:update_sched_timer (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/kernel/
H A Dtimer.c59 void update_sched_timer(systime_t t) function

Completed in 42 milliseconds