rcu_flavor_sched_clock_irq 2244 kernel/rcu/tree.c 	rcu_flavor_sched_clock_irq(user);
rcu_flavor_sched_clock_irq  416 kernel/rcu/tree.h static void rcu_flavor_sched_clock_irq(int user);