Searched refs:pte_paddr (Results 1 – 2 of 2) sorted by relevance
| /openbsd/src/usr.sbin/vmd/ |
| D | x86_vm.c | 1118 uint64_t pte, pt_paddr, pte_paddr, mask, low_mask, high_mask; in translate_gva() local
1169 pte_paddr = (pt_paddr) + (pdidx * pte_size); in translate_gva()
1172 level, pte_paddr); in translate_gva()
1173 if (read_mem(pte_paddr, &pte, pte_size)) { in translate_gva()
1178 log_debug("%s: PTE @ 0x%llx = 0x%llx", __func__, pte_paddr, in translate_gva()
1195 if (write_mem(pte_paddr, &pte, pte_size)) { in translate_gva()
|
| /openbsd/src/sys/arch/amd64/amd64/ |
| D | vmm_machdep.c | 3426 uint64_t pte, pt_paddr, pte_paddr, mask, low_mask, high_mask; in vmm_translate_gva() local
3489 pte_paddr = (pt_paddr) + (pdidx * pte_size); in vmm_translate_gva()
3492 level, pte_paddr); in vmm_translate_gva()
3493 if (!pmap_extract(vcpu->vc_parent->vm_map->pmap, pte_paddr, in vmm_translate_gva()
3496 __func__, pte_paddr); in vmm_translate_gva()
3500 hpa = hpa | (pte_paddr & 0xFFF); in vmm_translate_gva()
3503 __func__, pte_paddr, (uint64_t)hpa, (uint64_t)hva); in vmm_translate_gva()
3509 DPRINTF("%s: PTE @ 0x%llx = 0x%llx\n", __func__, pte_paddr, in vmm_translate_gva()
|