extern void rcu_bh_qs(int cpu);
extern void rcu_note_context_switch(int cpu);
extern int rcu_needs_cpu(int cpu);
+extern void rcu_cpu_stall_reset(void);
#ifdef CONFIG_TREE_PREEMPT_RCU
synchronize_sched_expedited();
}
+extern void rcu_barrier(void);
+
extern void rcu_check_callbacks(int cpu, int user);
extern long rcu_batches_completed(void);