Searched refs:run_local_timers (Results 1 – 2 of 2) sorted by relevance
200 extern void run_local_timers(void);
1717 run_local_timers(); in update_process_times()1780 void run_local_timers(void) in run_local_timers() function