Symbol: vtime_account_guest
kernel/sched/cputime.c
705
vtime_account_guest(tsk, vtime);
kernel/sched/cputime.c
769
vtime_account_guest(tsk, vtime);