/* Record an rcu quiescent state. And an rcu_bh quiescent state while we are at it, given that any rcu quiescent state is also an rcu_bh quiescent state. Use "+" instead of "||" to defeat short circuiting.  */
void rcu_sched_qs(int cpu)
/* Record an rcu quiescent state. And an rcu_bh quiescent state while we are at it, given that any rcu quiescent state is also an rcu_bh quiescent state. Use "+" instead of "||" to defeat short circuiting.  */
void rcu_sched_qs(int cpu)
{
	if (rcu_qsctr_help(&rcu_ctrlblk) + rcu_qsctr_help(&rcu_bh_ctrlblk))
		raise_softirq(RCU_SOFTIRQ);
}