CMMU_MODE
if (CMMU_MODE(cmmu) != INST_CMMU)
if (CMMU_MODE(cmmu) != INST_CMMU &&
printf(" %ccache\n", CMMU_MODE(mmuno) == INST_CMMU ? 'I' : 'D');