Searched refs:running_timers_deactivate (Results 1 – 3 of 3) sorted by relevance
273 void running_timers_deactivate(processor_t processor);
2063 running_timers_deactivate(processor_t processor) in running_timers_deactivate() function
3666 running_timers_deactivate(processor); in thread_dispatch()