Searched refs:VMCS_GUEST_PDPTE3 (Results 1 – 2 of 2) sorted by relevance
1293 #define VMCS_GUEST_PDPTE3 0x2810 macro
1122 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()2303 if (vmwrite(VMCS_GUEST_PDPTE3, in vcpu_reset_regs_vmx()4952 if (vmwrite(VMCS_GUEST_PDPTE3, 0)) { in vmx_load_pdptes()4998 if (vmwrite(VMCS_GUEST_PDPTE3, pdptes[3])) { in vmx_load_pdptes()7184 vmx_dump_vmcs_field(VMCS_GUEST_PDPTE3, "Guest PDPTE3"); in vmx_dump_vmcs()