GUEST_PDPTR2
EVMCS1_FIELD(GUEST_PDPTR2, guest_pdptr2,
vmcs_write64(GUEST_PDPTR2, vmcs12->guest_pdptr2);
vmcs12->guest_pdptr2 = vmcs_read64(GUEST_PDPTR2);
FIELD64(GUEST_PDPTR2, guest_pdptr2),
vmcs_write64(GUEST_PDPTR2, vcpu->arch.pdptrs[2]);
vcpu->arch.pdptrs[2] = vmcs_read64(GUEST_PDPTR2);
vmcs_read64(GUEST_PDPTR2), vmcs_read64(GUEST_PDPTR3));
case GUEST_PDPTR2:
case GUEST_PDPTR2: