Symbol: vtime_task_switch
include/linux/vtime.h
70
extern void vtime_task_switch(struct task_struct *prev);
kernel/sched/core.c
5355
vtime_task_switch(prev);