/* Update process times based on virtual cpu times stored by entry.S to the lowcore fields user_timer, system_timer & steal_clock.  */
void account_system_vtime(struct task_struct *tsk)
/* Update process times based on virtual cpu times stored by entry.S to the lowcore fields user_timer, system_timer & steal_clock.  */
void account_system_vtime(struct task_struct *tsk)
{
	struct thread_info *ti = task_thread_info(tsk);
	__u64 timer, system;
	timer = S390_lowcore.last_update_timer;
	S390_lowcore.last_update_timer = get_vtimer();
	S390_lowcore.system_timer += timer - S390_lowcore.last_update_timer;
	system = S390_lowcore.system_timer - ti->system_timer;
	S390_lowcore.steal_timer -= system;
	ti->system_timer = S390_lowcore.system_timer;
	account_system_time(tsk, 0, system, system);
}