1 // SPDX-License-Identifier: GPL-2.0-or-later
5 #include <linux/kernel.h>
6 #include <linux/printk.h>
7 #include <linux/ptrace.h>
11 int machine_check_4xx(struct pt_regs *regs)
13 unsigned long reason = regs->esr;
15 if (reason & ESR_IMCP) {
16 printk("Instruction");
17 mtspr(SPRN_ESR, reason & ~ESR_IMCP);
20 printk(" machine check in kernel mode.\n");