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

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

Completed in 104 milliseconds