Symbol: account_idle_time_irq
arch/s390/include/asm/cputime.h
19
void account_idle_time_irq(void);
arch/s390/kernel/irq.c
162
account_idle_time_irq();
arch/s390/kernel/irq.c
205
account_idle_time_irq();