Symbol: irqtime_tick_accounted
kernel/sched/cputime.c
84
static u64 irqtime_tick_accounted(u64 maxtime)
kernel/sched/cputime.c
97
static u64 irqtime_tick_accounted(u64 dummy)