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