Searched refs:useridx (Results 1 – 1 of 1) sorted by relevance
124 ARMMMUIdx useridx = s->mmu_idx; in get_a64_user_mem_index() local132 switch (useridx) { in get_a64_user_mem_index()135 useridx = ARMMMUIdx_E10_0; in get_a64_user_mem_index()139 useridx = ARMMMUIdx_E20_0; in get_a64_user_mem_index()145 return arm_to_core_mmu_idx(useridx); in get_a64_user_mem_index()