Searched refs:stage_1_mmu_idx (Results 1 – 4 of 4) sorted by relevance
23 mmu_idx = stage_1_mmu_idx(mmu_idx); in arm_s1_regime_using_lpae_format()
208 ARMMMUIdx stage1 = stage_1_mmu_idx(mmu_idx); in rebuild_hflags_a64()
1172 static inline ARMMMUIdx stage_1_mmu_idx(ARMMMUIdx mmu_idx) in stage_1_mmu_idx() function1181 ARMMMUIdx stage_1_mmu_idx(ARMMMUIdx mmu_idx);
128 ARMMMUIdx stage_1_mmu_idx(ARMMMUIdx mmu_idx) in stage_1_mmu_idx() function144 return stage_1_mmu_idx(arm_mmu_idx(env)); in arm_stage1_mmu_idx()