Searched refs:ARMMMUIdx_S1E3 (Results 1 – 12 of 12) sorted by relevance
770 case ARMMMUIdx_S1E3: in regime_is_secure()
2607 ARMMMUIdx_S1E3 = 3 | ARM_MMU_IDX_A, enumerator
2345 mmu_idx = ARMMMUIdx_S1E3; in ats_write()2427 mmu_idx = ARMMMUIdx_S1E3; in ats_write64()8618 case ARMMMUIdx_S1E3: in regime_el()
161 case ARMMMUIdx_S1E3: in get_a32_user_mem_index()
822 case ARMMMUIdx_S1E3: in regime_is_secure()
2881 ARMMMUIdx_S1E3 = 3 | ARM_MMU_IDX_A, enumerator
3109 mmu_idx = ARMMMUIdx_S1E3; in ats_write()3191 mmu_idx = ARMMMUIdx_S1E3; in ats_write64()8558 case ARMMMUIdx_S1E3: in regime_el()
159 case ARMMMUIdx_S1E3: in get_a32_user_mem_index()