Searched refs:update_timer (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/kernel/
H A Dtimer.c30 static void update_timer(void) function
52 update_timer();
62 update_timer();

Completed in 54 milliseconds