/* Check to see if the scheduling-clock interrupt came from an extended quiescent state, and, if so, tell RCU about it.  */
void rcu_check_callbacks(int cpu, int user)
/* Check to see if the scheduling-clock interrupt came from an extended quiescent state, and, if so, tell RCU about it.  */
void rcu_check_callbacks(int cpu, int user)
{
	if (user ||
	    (idle_cpu(cpu) &&
	     !in_softirq() &&
	     hardirq_count() <= (1 << HARDIRQ_SHIFT)))
		rcu_sched_qs(cpu);
	else if (!in_softirq())
		rcu_bh_qs(cpu);
}