irqtime_account_idle_ticks  393 kernel/sched/cputime.c static void irqtime_account_idle_ticks(int ticks)
irqtime_account_idle_ticks  400 kernel/sched/cputime.c static inline void irqtime_account_idle_ticks(int ticks) { }