Searched refs:running_timers_activate (Results 1 – 3 of 3) sorted by relevance
268 void running_timers_activate(processor_t processor);
2166 running_timers_activate(processor_t processor) in running_timers_activate() function
3820 running_timers_activate(processor); in thread_dispatch()