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