Searched refs:ARMMMUIdx_Stage2_S (Results 1 – 3 of 3) sorted by relevance
178 if (stage2idx == ARMMMUIdx_Stage2_S) { in ptw_idx_for_stage_2()200 if (mmu_idx == ARMMMUIdx_Stage2_S) { in regime_ttbr()239 case ARMMMUIdx_Stage2_S: in regime_translation_disabled()513 assert(s2_mmu_idx != ARMMMUIdx_Stage2_S); in S2_security_space()531 && s2_mmu_idx == ARMMMUIdx_Stage2_S; in fault_s1ns()1401 assert(mmu_idx != ARMMMUIdx_Stage2_S); in aa32_va_parameters()1804 QEMU_BUILD_BUG_ON(ARMMMUIdx_Stage2_S + 1 != ARMMMUIdx_Stage2); in get_phys_addr_lpae()3098 case ARMMMUIdx_Stage2_S: in get_phys_addr_disabled()3307 ARMMMUIdx_Stage2_S : ARMMMUIdx_Stage2; in get_phys_addr_nogpc()3311 case ARMMMUIdx_Stage2_S: in get_phys_addr_nogpc()[all …]
715 return mmu_idx == ARMMMUIdx_Stage2 || mmu_idx == ARMMMUIdx_Stage2_S; in regime_is_stage2()726 case ARMMMUIdx_Stage2_S: in regime_el()793 if (mmu_idx == ARMMMUIdx_Stage2_S) { in regime_tcr()
2974 ARMMMUIdx_Stage2_S = 8 | ARM_MMU_IDX_A, enumerator