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 "