Symbol: account_idle_ticks
include/linux/kernel_stat.h
138
extern void account_idle_ticks(unsigned long ticks);
kernel/time/tick-sched.c
1438
account_idle_ticks(ticks);