Lines Matching refs:idx
52 int ri, idx; in virt_arch_pg_map() local
75 idx = (gva >> (64 - 11 * ri)) & 0x7ffu; in virt_arch_pg_map()
76 if (entry[idx] & REGION_ENTRY_INVALID) in virt_arch_pg_map()
77 entry[idx] = virt_alloc_region(vm, ri); in virt_arch_pg_map()
78 entry = addr_gpa2hva(vm, entry[idx] & REGION_ENTRY_ORIGIN); in virt_arch_pg_map()
82 idx = (gva >> PAGE_SHIFT) & 0x0ffu; /* page index */ in virt_arch_pg_map()
83 if (!(entry[idx] & PAGE_INVALID)) in virt_arch_pg_map()
86 entry[idx] = gpa; in virt_arch_pg_map()
91 int ri, idx; in addr_arch_gva2gpa() local
99 idx = (gva >> (64 - 11 * ri)) & 0x7ffu; in addr_arch_gva2gpa()
100 TEST_ASSERT(!(entry[idx] & REGION_ENTRY_INVALID), in addr_arch_gva2gpa()
103 entry = addr_gpa2hva(vm, entry[idx] & REGION_ENTRY_ORIGIN); in addr_arch_gva2gpa()
106 idx = (gva >> PAGE_SHIFT) & 0x0ffu; /* page index */ in addr_arch_gva2gpa()
108 TEST_ASSERT(!(entry[idx] & PAGE_INVALID), in addr_arch_gva2gpa()
111 return (entry[idx] & ~0xffful) + (gva & 0xffful); in addr_arch_gva2gpa()