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