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