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)