69 	u64 timer, clock, user, system, steal;  in do_account_vtime()  local
114 	system = S390_lowcore.system_timer - ti->system_timer;  in do_account_vtime()
115 	S390_lowcore.steal_timer -= system;  in do_account_vtime()
119 	system_scaled = system;  in do_account_vtime()
129 	account_system_time(tsk, hardirq_offset, system, system_scaled);  in do_account_vtime()
137 	return virt_timer_forward(user + system);  in do_account_vtime()
171 	u64 timer, system, system_scaled;  in vtime_account_irq_enter()  local
177 	system = S390_lowcore.system_timer - ti->system_timer;  in vtime_account_irq_enter()
178 	S390_lowcore.steal_timer -= system;  in vtime_account_irq_enter()
180 	system_scaled = system;  in vtime_account_irq_enter()
188 	account_system_time(tsk, 0, system, system_scaled);  in vtime_account_irq_enter()
190 	virt_timer_forward(system);  in vtime_account_irq_enter()