Searched refs:run_local_timers (Results 1 – 2 of 2) sorted by relevance
195 extern void run_local_timers(void);
1725 run_local_timers(); in update_process_times()1794 void run_local_timers(void) in run_local_timers() function
