GUEST_PDPTR1
EVMCS1_FIELD(GUEST_PDPTR1, guest_pdptr1,
vmcs_write64(GUEST_PDPTR1, vmcs12->guest_pdptr1);
vmcs_write64(GUEST_PDPTR1, vmcs12->guest_pdptr1);
vmcs12->guest_pdptr1 = vmcs_read64(GUEST_PDPTR1);
FIELD64(GUEST_PDPTR1, guest_pdptr1),
vmcs_write64(GUEST_PDPTR1, mmu->pdptrs[1]);
mmu->pdptrs[1] = vmcs_read64(GUEST_PDPTR1);
vmcs_read64(GUEST_PDPTR0), vmcs_read64(GUEST_PDPTR1));
case GUEST_PDPTR1:
case GUEST_PDPTR1: