RMIXL_PCR_MMU_SETUP
rmixl_mtcr(RMIXL_PCR_MMU_SETUP, __BITS(2,0));
rmixl_mtcr(RMIXL_PCR_MMU_SETUP, 0); /* enable MMU clock gating */