irqtime_account_process_tick  397 kernel/sched/cputime.c 	irqtime_account_process_tick(current, 0, rq, ticks);
irqtime_account_process_tick  484 kernel/sched/cputime.c 		irqtime_account_process_tick(p, user_tick, rq, 1);