/* This function is invoked towards the end of the scheduler's initialization process. Before this is called, the idle task might contain RCU read-side critical sections (during which time, this idle task is booting the system). After this function is called, the idle tasks are prohibited from containing RCU read-side critical sections.  */
void rcu_scheduler_starting(void)
/* This function is invoked towards the end of the scheduler's initialization process. Before this is called, the idle task might contain RCU read-side critical sections (during which time, this idle task is booting the system). After this function is called, the idle tasks are prohibited from containing RCU read-side critical sections.  */
void rcu_scheduler_starting(void)
{
	WARN_ON(num_online_cpus() != 1);
	WARN_ON(nr_context_switches() > 0);
	rcu_scheduler_active = 1;
}