virt_timer_forward  185 arch/s390/kernel/vtime.c 	return virt_timer_forward(user + guest + system + hardirq + softirq);
virt_timer_forward  246 arch/s390/kernel/vtime.c 	virt_timer_forward(timer);