DAK_BANKS_PER_MC
for (bank = 0; bank < DAK_BANKS_PER_MC; bank++) {
uint64_t mc_decode[DAK_BANKS_PER_MC];
for (i = 0; i < DAK_BANKS_PER_MC; i++) {
slice_table[DAK_SBD_SLOTS][DAK_CPUS_PER_BOARD][DAK_BANKS_PER_MC][2];
#define DAK_MAX_SLICE (DAK_MAX_CPUS * DAK_BANKS_PER_MC)