Symbol: vtime_account_idle
arch/powerpc/kernel/time.c
264
void vtime_account_idle(struct task_struct *tsk)
kernel/sched/cputime.c
776
void vtime_account_idle(struct task_struct *tsk)