Home
last modified time | relevance | path

Searched refs:VCPU_REGS_PDPTE3 (Results 1 – 3 of 3) sorted by relevance

/openbsd/src/sys/arch/amd64/include/
Dvmmvar.h401 #define VCPU_REGS_PDPTE3 9 macro
402 #define VCPU_REGS_NCRS (VCPU_REGS_PDPTE3 + 1)
/openbsd/src/usr.sbin/vmd/
Dx86_vm.c86 .vrs_crs[VCPU_REGS_PDPTE3] = 0ULL,
/openbsd/src/sys/arch/amd64/amd64/
Dvmm_machdep.c1122 if (vmread(VMCS_GUEST_PDPTE3, &crs[VCPU_REGS_PDPTE3])) in vcpu_readregs_vmx()
1402 if (vmwrite(VMCS_GUEST_PDPTE3, crs[VCPU_REGS_PDPTE3])) in vcpu_writeregs_vmx()
2304 vrs->vrs_crs[VCPU_REGS_PDPTE3])) { in vcpu_reset_regs_vmx()