Searched refs:armmemidx (Results 1 – 1 of 1) sorted by relevance
2417 ARMMMUIdx armmemidx = s->nv2_mem_e20 ? ARMMMUIdx_E20_2 : ARMMMUIdx_E2; in handle_sys() local2418 int memidx = arm_to_core_mmu_idx(armmemidx); in handle_sys()