|
@@ -128,8 +128,6 @@ void vtime_account_irq_enter(struct task_struct *tsk)
|
|
struct thread_info *ti = task_thread_info(tsk);
|
|
struct thread_info *ti = task_thread_info(tsk);
|
|
u64 timer, system;
|
|
u64 timer, system;
|
|
|
|
|
|
- WARN_ON_ONCE(!irqs_disabled());
|
|
|
|
-
|
|
|
|
timer = S390_lowcore.last_update_timer;
|
|
timer = S390_lowcore.last_update_timer;
|
|
S390_lowcore.last_update_timer = get_vtimer();
|
|
S390_lowcore.last_update_timer = get_vtimer();
|
|
S390_lowcore.system_timer += timer - S390_lowcore.last_update_timer;
|
|
S390_lowcore.system_timer += timer - S390_lowcore.last_update_timer;
|