Symbol: rcu_sched_clock_irq
include/linux/rcupdate.h
132
void rcu_sched_clock_irq(int user);
kernel/time/timer.c
2474
rcu_sched_clock_irq(user_tick);