Symbol: __vtime_account_kernel
kernel/sched/cputime.c
718
__vtime_account_kernel(tsk, vtime);
kernel/sched/cputime.c
789
__vtime_account_kernel(prev, vtime);