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