vtime_guest_exit   80 include/linux/vtime.h static inline void vtime_guest_exit(struct task_struct *tsk) { }
vtime_guest_exit  791 kernel/sched/cputime.c void vtime_guest_exit(struct task_struct *tsk)