Searched refs:useridx (Results 1 – 1 of 1) sorted by relevance
124 ARMMMUIdx useridx = s->mmu_idx; in get_a64_user_mem_index() local 132 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()