Searched refs:s2_mmu_idx (Results 1 – 1 of 1) sorted by relevance
506 ARMMMUIdx s2_mmu_idx) in S2_security_space() argument512 if (regime_is_stage2(s2_mmu_idx)) { in S2_security_space()524 assert(s2_mmu_idx != ARMMMUIdx_Stage2_S); in S2_security_space()530 return arm_phys_to_space(s2_mmu_idx); in S2_security_space()542 && s2_mmu_idx == ARMMMUIdx_Stage2_S; in fault_s1ns()550 ARMMMUIdx s2_mmu_idx = ptw->in_ptw_idx; in S1_ptw_translate() local562 .in_mmu_idx = s2_mmu_idx, in S1_ptw_translate()601 if (regime_is_stage2(s2_mmu_idx)) { in S1_ptw_translate()613 fi->s1ns = fault_s1ns(ptw->in_space, s2_mmu_idx); in S1_ptw_translate()627 fi->stage2 = regime_is_stage2(s2_mmu_idx); in S1_ptw_translate()[all …]