Symbol: rcu_flavor_sched_clock_irq
kernel/rcu/tree_plugin.h
1066
static void rcu_flavor_sched_clock_irq(int user)
kernel/rcu/tree_plugin.h
810
static void rcu_flavor_sched_clock_irq(int user)