Searched refs:running_timers_activate (Results 1 – 3 of 3) sorted by relevance
267 void running_timers_activate(processor_t processor);
2056 running_timers_activate(processor_t processor) in running_timers_activate() function
3663 running_timers_activate(processor); in thread_dispatch()