rcu_flavor_sched_clock_irq  682 kernel/rcu/tree_plugin.h static void rcu_flavor_sched_clock_irq(int user)
rcu_flavor_sched_clock_irq  902 kernel/rcu/tree_plugin.h static void rcu_flavor_sched_clock_irq(int user)