Searched refs:s2_mmu_idx (Results 1 – 1 of 1) sorted by relevance
504 ARMMMUIdx s2_mmu_idx) in S2_security_space() argument510 if (regime_is_stage2(s2_mmu_idx)) { in S2_security_space()522 assert(s2_mmu_idx != ARMMMUIdx_Stage2_S); in S2_security_space()528 return arm_phys_to_space(s2_mmu_idx); in S2_security_space()540 && s2_mmu_idx == ARMMMUIdx_Stage2_S; in fault_s1ns()548 ARMMMUIdx s2_mmu_idx = ptw->in_ptw_idx; in S1_ptw_translate() local560 .in_mmu_idx = s2_mmu_idx, in S1_ptw_translate()599 if (regime_is_stage2(s2_mmu_idx)) { in S1_ptw_translate()611 fi->s1ns = fault_s1ns(ptw->in_space, s2_mmu_idx); in S1_ptw_translate()625 fi->stage2 = regime_is_stage2(s2_mmu_idx); in S1_ptw_translate()[all …]