Home
last modified time | relevance | path

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

/openbsd/src/sys/arch/amd64/include/
Dvmmvar.h398 #define VCPU_REGS_PDPTE0 6 macro
/openbsd/src/usr.sbin/vmd/
Dx86_vm.c83 .vrs_crs[VCPU_REGS_PDPTE0] = 0ULL,
/openbsd/src/sys/arch/amd64/amd64/
Dvmm_machdep.c1116 if (vmread(VMCS_GUEST_PDPTE0, &crs[VCPU_REGS_PDPTE0])) in vcpu_readregs_vmx()
1396 if (vmwrite(VMCS_GUEST_PDPTE0, crs[VCPU_REGS_PDPTE0])) in vcpu_writeregs_vmx()
2286 vrs->vrs_crs[VCPU_REGS_PDPTE0])) { in vcpu_reset_regs_vmx()