Symbol: do_account_vtime
arch/s390/kernel/vtime.c
175
do_account_vtime(prev);
arch/s390/kernel/vtime.c
198
if (do_account_vtime(tsk))