irqtime_tick_accounted 76 kernel/sched/cputime.c static u64 irqtime_tick_accounted(u64 maxtime) irqtime_tick_accounted 91 kernel/sched/cputime.c static u64 irqtime_tick_accounted(u64 dummy)