#ifdef CONFIG_DEBUGGER
int (*__debugger)(struct pt_regs *regs);
+int (*__debugger_ipi)(struct pt_regs *regs);
int (*__debugger_bpt)(struct pt_regs *regs);
int (*__debugger_sstep)(struct pt_regs *regs);
int (*__debugger_iabr_match)(struct pt_regs *regs);
int (*__debugger_fault_handler)(struct pt_regs *regs);
EXPORT_SYMBOL(__debugger);
+EXPORT_SYMBOL(__debugger_ipi);
EXPORT_SYMBOL(__debugger_bpt);
EXPORT_SYMBOL(__debugger_sstep);
EXPORT_SYMBOL(__debugger_iabr_match);
static int die_counter;
int nl = 0;
- if (debugger_fault_handler(regs))
- return 1;
-
if (debugger(regs))
return 1;
}
#endif
+ if (debugger_fault_handler(regs))
+ return;
die("Machine check", regs, 0);
/* Must die if the interrupt is not recoverable */