VCPU_REGS_PDPTE1
if (vmread(VMCS_GUEST_PDPTE1, &crs[VCPU_REGS_PDPTE1]))
if (vmwrite(VMCS_GUEST_PDPTE1, crs[VCPU_REGS_PDPTE1]))
vrs->vrs_crs[VCPU_REGS_PDPTE1])) {
.vrs_crs[VCPU_REGS_PDPTE1] = 0ULL,