On 9 April 2014 21:11, Steven Rostedt <rostedt@xxxxxxxxxxx> wrote: > But tick_nohz_active also gets set by tick_setup_sched_timer() which > looks to be where it should get set. What is the case that this would > set that variable and tick_setup_sched_timer() would not? These two are in parallel and only one of these will ever succeed. So, either tick_setup_sched_timer() or tick_nohz_switch_to_nohz() will set it. -- To unsubscribe from this list: send the line "unsubscribe stable" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html