|
@@ -36,9 +36,11 @@ static void __udelay_disabled(unsigned long usecs)
|
|
cr0 = (cr0_saved & 0xffff00e0) | 0x00000800;
|
|
cr0 = (cr0_saved & 0xffff00e0) | 0x00000800;
|
|
__ctl_load(cr0 , 0, 0);
|
|
__ctl_load(cr0 , 0, 0);
|
|
mask = psw_kernel_bits | PSW_MASK_WAIT | PSW_MASK_EXT;
|
|
mask = psw_kernel_bits | PSW_MASK_WAIT | PSW_MASK_EXT;
|
|
|
|
+ lockdep_off();
|
|
trace_hardirqs_on();
|
|
trace_hardirqs_on();
|
|
__load_psw_mask(mask);
|
|
__load_psw_mask(mask);
|
|
local_irq_disable();
|
|
local_irq_disable();
|
|
|
|
+ lockdep_on();
|
|
__ctl_load(cr0_saved, 0, 0);
|
|
__ctl_load(cr0_saved, 0, 0);
|
|
local_tick_enable(clock_saved);
|
|
local_tick_enable(clock_saved);
|
|
set_clock_comparator(S390_lowcore.clock_comparator);
|
|
set_clock_comparator(S390_lowcore.clock_comparator);
|