589 	debugf0("Number of active channels on socket %d: %d\n",  in i7core_get_active_channels()
617 	debugf0("QPI %d control=0x%08x status=0x%08x dod=0x%08x map=0x%08x\n",  in get_dimm_config()
622 		debugf0("ECC enabled with x%d SDCC\n", ECCx8(pvt) ? 8 : 4);  in get_dimm_config()
628 		debugf0("ECC disabled\n");  in get_dimm_config()
633 	debugf0("DOD Max limits: DIMMS: %d, %d-ranked, %d-banked "  in get_dimm_config()
648 			debugf0("Channel %i is not active\n", i);  in get_dimm_config()
652 			debugf0("Channel %i is disabled\n", i);  in get_dimm_config()
684 		debugf0("Ch%d phy rd%d, wr%d (0x%08x): "  in get_dimm_config()
709 			debugf0("\tdimm %d %d Mb offset: %x, "  in get_dimm_config()
977 	debugf0("setting pci %02x:%02x.%x reg=%02x value=%08x\n",  in write_and_test()
1112 	debugf0("Error inject addr match 0x%016llx, ecc 0x%08x,"  in i7core_inject_enable_store()
1132 	debugf0("Inject error read: 0x%018x\n", injectmask);  in i7core_inject_enable_show()
1282 	debugf0(__FILE__ ": %s()\n", __func__);  in i7core_put_devices()
1287 		debugf0("Removing dev %02x:%02x.%d\n",  in i7core_put_devices()
1332 		debugf0("Found bus %d\n", bus);  in i7core_pci_lastbus()
1337 	debugf0("Last bus %d\n", last_bus);  in i7core_pci_lastbus()
1449 	debugf0("Detected socket %d dev %02x:%02x.%d PCI ID %04x:%04x\n",  in i7core_get_onedevice()
1550 			debugf0("Detected a processor type %s\n", family);  in mci_bind_devs()
1554 		debugf0("Associated fn %d.%d, dev = %p, socket %d\n",  in mci_bind_devs()
1691 		debugf0("%s MCR registers not found\n", __func__);  in i7core_udimm_check_mc_ecc_err()
1831 	debugf0("%s", msg);  in i7core_mce_output_error()
2220 		debugf0("MC: " __FILE__ ": %s(): dev = %p\n",  in i7core_unregister_mci()
2229 	debugf0("MC: " __FILE__ ": %s(): mci = %p, dev = %p\n",  in i7core_unregister_mci()
2264 	debugf0("MC: " __FILE__ ": %s(): mci = %p, dev = %p\n",  in i7core_register_mci()
2312 		debugf0("MC: " __FILE__  in i7core_register_mci()
2420 	debugf0(__FILE__ ": %s()\n", __func__);  in i7core_remove()