6 #include <linux/printk.h>
17 		printk("Instruction");  in machine_check_4xx()
20 		printk("Data");  in machine_check_4xx()
22 	printk(" machine check in kernel mode.\n");  in machine_check_4xx()
31 	printk("Machine check in kernel mode.\n");  in machine_check_440A()
33 		printk("Instruction Synchronous Machine Check exception\n");  in machine_check_440A()
39 			printk("Instruction Read PLB Error\n");  in machine_check_440A()
41 			printk("Data Read PLB Error\n");  in machine_check_440A()
43 			printk("Data Write PLB Error\n");  in machine_check_440A()
45 			printk("TLB Parity Error\n");  in machine_check_440A()
48 			printk("I-Cache Parity Error\n");  in machine_check_440A()
51 			printk("D-Cache Search Parity Error\n");  in machine_check_440A()
53 			printk("D-Cache Flush Parity Error\n");  in machine_check_440A()
55 			printk("Machine Check exception is imprecise\n");  in machine_check_440A()
69 	printk(KERN_ERR "Machine check in kernel mode.\n");  in machine_check_47x()
71 		printk(KERN_ERR "Instruction Synchronous Machine Check exception\n");  in machine_check_47x()
77 		printk(KERN_ERR "Instruction Read PLB Error\n");  in machine_check_47x()
79 		printk(KERN_ERR "Data Read PLB Error\n");  in machine_check_47x()
81 		printk(KERN_ERR "Data Write PLB Error\n");  in machine_check_47x()
83 		printk(KERN_ERR "TLB Parity Error\n");  in machine_check_47x()
86 		printk(KERN_ERR "I-Cache Parity Error\n");  in machine_check_47x()
89 		printk(KERN_ERR "D-Cache Search Parity Error\n");  in machine_check_47x()
91 		printk(KERN_ERR "GPR Parity Error\n");  in machine_check_47x()
93 		printk(KERN_ERR "FPR Parity Error\n");  in machine_check_47x()
95 		printk(KERN_ERR "Machine Check exception is imprecise\n");  in machine_check_47x()