sbridge_mc_printk 3172 drivers/edac/sb_edac.c 	sbridge_mc_printk(mci, KERN_DEBUG, "HANDLING MCE MEMORY ERROR\n");
sbridge_mc_printk 3174 drivers/edac/sb_edac.c 	sbridge_mc_printk(mci, KERN_DEBUG, "CPU %d: Machine Check %s: %Lx "
sbridge_mc_printk 3177 drivers/edac/sb_edac.c 	sbridge_mc_printk(mci, KERN_DEBUG, "TSC %llx ", mce->tsc);
sbridge_mc_printk 3178 drivers/edac/sb_edac.c 	sbridge_mc_printk(mci, KERN_DEBUG, "ADDR %llx ", mce->addr);
sbridge_mc_printk 3179 drivers/edac/sb_edac.c 	sbridge_mc_printk(mci, KERN_DEBUG, "MISC %llx ", mce->misc);
sbridge_mc_printk 3181 drivers/edac/sb_edac.c 	sbridge_mc_printk(mci, KERN_DEBUG, "PROCESSOR %u:%x TIME %llu SOCKET "