MMU_REG_USER_INFO_BITS
mmu_hw->base + MMU_REG_USER_INFO_BITS);
readl(mmu_hw->base + MMU_REG_USER_INFO_BITS));