Lines Matching refs:ptep
84 uint64_t *ptep, next_ppn; in virt_arch_pg_map() local
101 ptep = addr_gpa2hva(vm, vm->pgd) + pte_index(vm, vaddr, level) * 8; in virt_arch_pg_map()
102 if (!*ptep) { in virt_arch_pg_map()
104 *ptep = (next_ppn << PGTBL_PTE_ADDR_SHIFT) | in virt_arch_pg_map()
110 ptep = addr_gpa2hva(vm, pte_addr(vm, *ptep)) + in virt_arch_pg_map()
112 if (!*ptep && level > 0) { in virt_arch_pg_map()
115 *ptep = (next_ppn << PGTBL_PTE_ADDR_SHIFT) | in virt_arch_pg_map()
122 *ptep = (paddr << PGTBL_PTE_ADDR_SHIFT) | in virt_arch_pg_map()
128 uint64_t *ptep; in addr_arch_gva2gpa() local
134 ptep = addr_gpa2hva(vm, vm->pgd) + pte_index(vm, gva, level) * 8; in addr_arch_gva2gpa()
135 if (!ptep) in addr_arch_gva2gpa()
140 ptep = addr_gpa2hva(vm, pte_addr(vm, *ptep)) + in addr_arch_gva2gpa()
142 if (!ptep) in addr_arch_gva2gpa()
147 return pte_addr(vm, *ptep) + (gva & (vm->page_size - 1)); in addr_arch_gva2gpa()
160 uint64_t pte, *ptep; in pte_dump() local
166 ptep = addr_gpa2hva(vm, pte); in pte_dump()
167 if (!*ptep) in pte_dump()
170 type[level], pte, *ptep, ptep); in pte_dump()
172 pte_addr(vm, *ptep), level - 1); in pte_dump()
180 uint64_t pgd, *ptep; in virt_arch_dump() local
186 ptep = addr_gpa2hva(vm, pgd); in virt_arch_dump()
187 if (!*ptep) in virt_arch_dump()
190 pgd, *ptep, ptep); in virt_arch_dump()
192 pte_addr(vm, *ptep), level - 1); in virt_arch_dump()