Searched refs:VCPU_REGS_PDPTE2 (Results 1 – 3 of 3) sorted by relevance
400 #define VCPU_REGS_PDPTE2 8 macro
85 .vrs_crs[VCPU_REGS_PDPTE2] = 0ULL,
1120 if (vmread(VMCS_GUEST_PDPTE2, &crs[VCPU_REGS_PDPTE2])) in vcpu_readregs_vmx()1400 if (vmwrite(VMCS_GUEST_PDPTE2, crs[VCPU_REGS_PDPTE2])) in vcpu_writeregs_vmx()2298 vrs->vrs_crs[VCPU_REGS_PDPTE2])) { in vcpu_reset_regs_vmx()