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)