rcu_sched_clock_irq   66 kernel/rcu/tiny.c void rcu_sched_clock_irq(int user)
rcu_sched_clock_irq 2231 kernel/rcu/tree.c void rcu_sched_clock_irq(int user)