Lines Matching refs:ptep
37 uint64_t *ptep; in virt_set_pgtable() local
40 ptep = addr_gpa2hva(vm, table); in virt_set_pgtable()
43 WRITE_ONCE(*(ptep + i), child); in virt_set_pgtable()
67 static int virt_pte_none(uint64_t *ptep, int level) in virt_pte_none() argument
69 return *ptep == invalid_pgtable[level]; in virt_pte_none()
75 uint64_t *ptep; in virt_populate_pte() local
84 ptep = addr_gpa2hva(vm, child) + virt_pte_index(vm, gva, level) * 8; in virt_populate_pte()
85 if (virt_pte_none(ptep, level)) { in virt_populate_pte()
89 WRITE_ONCE(*ptep, child); in virt_populate_pte()
94 child = pte_addr(vm, *ptep); in virt_populate_pte()
98 ptep = addr_gpa2hva(vm, child) + virt_pte_index(vm, gva, level) * 8; in virt_populate_pte()
99 return ptep; in virt_populate_pte()
108 uint64_t *ptep; in addr_arch_gva2gpa() local
110 ptep = virt_populate_pte(vm, gva, 0); in addr_arch_gva2gpa()
111 TEST_ASSERT(*ptep != 0, "Virtual address vaddr: 0x%lx not mapped\n", gva); in addr_arch_gva2gpa()
113 return pte_addr(vm, *ptep) + (gva & (vm->page_size - 1)); in addr_arch_gva2gpa()
119 uint64_t *ptep; in virt_arch_pg_map() local
135 ptep = virt_populate_pte(vm, vaddr, 1); in virt_arch_pg_map()
137 WRITE_ONCE(*ptep, paddr | prot_bits); in virt_arch_pg_map()
142 uint64_t pte, *ptep; in pte_dump() local
149 ptep = addr_gpa2hva(vm, pte); in pte_dump()
150 if (virt_pte_none(ptep, level)) in pte_dump()
153 indent, "", type[level], pte, *ptep, ptep); in pte_dump()
154 pte_dump(stream, vm, indent + 1, pte_addr(vm, *ptep), level--); in pte_dump()