IMC_CTAD_READ_4
val = IMC_CTAD_READ_4(dev, c, PCI_E5_IMC_CTAD_DIMMMTR(dimm));
dimmmtr = IMC_CTAD_READ_4(sc->ecc_dev, sc->ecc_chan,
dimmmtr = IMC_CTAD_READ_4(dev, sc->temp_chan,