Searched refs:run_local_timers (Results 1 – 2 of 2) sorted by relevance
184 extern void run_local_timers(void);
1635 run_local_timers(); in update_process_times()1703 void run_local_timers(void) in run_local_timers() function
