Symbol: vtime_dyntick_stop
include/linux/vtime.h
52
extern void vtime_dyntick_stop(void);
kernel/sched/cputime.c
479
vtime_dyntick_stop();