Searched refs:tick_setup_sched_timer (Results 1 – 3 of 3) sorted by relevance
107 extern void tick_setup_sched_timer(bool hrtimer);
1516 tick_setup_sched_timer(false); in tick_nohz_switch_to_nohz()1571 void tick_setup_sched_timer(bool hrtimer) in tick_setup_sched_timer() function
761 tick_setup_sched_timer(true); in hrtimer_switch_to_hres()