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