Searched refs:s1_mmu_idx (Results 1 – 1 of 1) sorted by relevance
3423 ARMMMUIdx s1_mmu_idx; in get_phys_addr_nogpc() local3464 s1_mmu_idx = ARMMMUIdx_Stage1_E0; in get_phys_addr_nogpc()3467 s1_mmu_idx = ARMMMUIdx_Stage1_E1; in get_phys_addr_nogpc()3470 s1_mmu_idx = ARMMMUIdx_Stage1_E1_PAN; in get_phys_addr_nogpc()3477 ptw->in_mmu_idx = mmu_idx = s1_mmu_idx; in get_phys_addr_nogpc()