ECCx8             512 drivers/edac/i7core_edac.c 		edac_dbg(0, "ECC enabled with x%d SDCC\n", ECCx8(pvt) ? 8 : 4);
ECCx8             513 drivers/edac/i7core_edac.c 		if (ECCx8(pvt))