Searched refs:rcu_sched_clock_irq (Results 1 – 4 of 4) sorted by relevance
66 void rcu_sched_clock_irq(int user) in rcu_sched_clock_irq() function
2230 void rcu_sched_clock_irq(int user) in rcu_sched_clock_irq() function
77 void rcu_sched_clock_irq(int user);
1726 rcu_sched_clock_irq(user_tick); in update_process_times()
