void rcu_note_might_resched(void)
{
unsigned long flags;
raw_local_irq_save(flags);
rcu_eob(rcu_cpu());
raw_local_irq_restore(flags);
}
void jrcu_read_unlock(void)
{
if (preempt_count() == 1)
rcu_eob(rcu_cpu());
preempt_enable();
}
void rcu_note_context_switch(int cpu)
{
rcu_eob(cpu);
}
void __rcu_preempt_sub(void)
{
rcu_eob(rcu_cpu());
}