drivers/edac/pnd2_edac.c

38 #include <asm/mce.h>
1122 static void pnd2_mce_output_error(struct mem_ctl_info *mci, const struct mce *m,
1364  * Callback function registered with core kernel mce code.
1369 	struct mce *mce = (struct mce *)data;
1375 	if (!mci || (mce->kflags & MCE_HANDLED_CEC))
1384 	if ((mce->status & 0xefff) >> 7 != 1)
1387 	if (mce->mcgstatus & MCG_STATUS_MCIP)
1394 				   mce->extcpu, type, mce->mcgstatus, mce->bank, mce->status);
1395 	pnd2_mc_printk(mci, KERN_INFO, "TSC %llx ", mce->tsc);
1396 	pnd2_mc_printk(mci, KERN_INFO, "ADDR %llx ", mce->addr);
1397 	pnd2_mc_printk(mci, KERN_INFO, "MISC %llx ", mce->misc);
1399 				   mce->cpuvendor, mce->cpuid, mce->time, mce->socketid, mce->apicid);
1401 	pnd2_mce_output_error(mci, mce, &daddr);
1404 	mce->kflags |= MCE_HANDLED_EDAC;
1430 	struct mce m;