#include <asm/lowcore.h>
#include <asm/sclp.h>
#include <asm/vdso.h>
+#include <asm/debug.h>
#include "entry.h"
enum {
__load_psw_mask(psw_kernel_bits | PSW_MASK_DAT);
trace_hardirqs_off();
+ debug_set_critical();
cpumask_copy(&cpumask, cpu_online_mask);
cpumask_clear_cpu(smp_processor_id(), &cpumask);