user_tick         357 kernel/sched/cputime.c static void irqtime_account_process_tick(struct task_struct *p, int user_tick,
user_tick         382 kernel/sched/cputime.c 	} else if (user_tick) {
user_tick         401 kernel/sched/cputime.c static inline void irqtime_account_process_tick(struct task_struct *p, int user_tick,
user_tick         475 kernel/sched/cputime.c void account_process_tick(struct task_struct *p, int user_tick)
user_tick         484 kernel/sched/cputime.c 		irqtime_account_process_tick(p, user_tick, rq, 1);
user_tick         496 kernel/sched/cputime.c 	if (user_tick)
user_tick        1719 kernel/time/timer.c void update_process_times(int user_tick)
user_tick        1724 kernel/time/timer.c 	account_process_tick(p, user_tick);
user_tick        1726 kernel/time/timer.c 	rcu_sched_clock_irq(user_tick);