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)