98 	u64 timer, clock, user, system, steal;  in do_account_vtime()  local
124 	system = S390_lowcore.system_timer - ti->system_timer;  in do_account_vtime()
125 	S390_lowcore.steal_timer -= system;  in do_account_vtime()
129 	system_scaled = system;  in do_account_vtime()
139 	account_system_time(tsk, hardirq_offset, system, system_scaled);  in do_account_vtime()
147 	return virt_timer_forward(user + system);  in do_account_vtime()
181 	u64 timer, system, system_scaled;  in vtime_account_irq_enter()  local
192 	system = S390_lowcore.system_timer - ti->system_timer;  in vtime_account_irq_enter()
193 	S390_lowcore.steal_timer -= system;  in vtime_account_irq_enter()
195 	system_scaled = system;  in vtime_account_irq_enter()
203 	account_system_time(tsk, 0, system, system_scaled);  in vtime_account_irq_enter()
205 	virt_timer_forward(system);  in vtime_account_irq_enter()