IE31200_CHANNELS
u64 reg_eccerrlog_offset[IE31200_CHANNELS];
u64 reg_mad_dimm_offset[IE31200_CHANNELS];
u64 eccerrlog[IE31200_CHANNELS];
for (i = 0; i < IE31200_CHANNELS; i++) {