Searched refs:run_local_timers (Results 1 – 2 of 2) sorted by relevance
237 extern void run_local_timers(void);
1419 run_local_timers(); in update_process_times()1443 void run_local_timers(void) in run_local_timers() function