Symbol: irqtime_account_process_tick
kernel/sched/cputime.c
419
irqtime_account_process_tick(current, 0, ticks);
kernel/sched/cputime.c
487
irqtime_account_process_tick(p, user_tick, 1);