Symbol: vtime_init_idle
include/linux/vtime.h
21
extern void vtime_init_idle(struct task_struct *tsk, int cpu);
kernel/sched/core.c
7988
vtime_init_idle(idle, cpu);