arch/x86/kvm/vmx/hyperv_evmcs.c

85

EVMCS1_FIELD(GUEST_PDPTR3, guest_pdptr3,

arch/x86/kvm/vmx/nested.c

2882

vmcs_write64(GUEST_PDPTR3, vmcs12->guest_pdptr3);

arch/x86/kvm/vmx/nested.c

4693

vmcs12->guest_pdptr3 = vmcs_read64(GUEST_PDPTR3);

arch/x86/kvm/vmx/vmcs12.c

64

FIELD64(GUEST_PDPTR3, guest_pdptr3),

arch/x86/kvm/vmx/vmx.c

3394

vmcs_write64(GUEST_PDPTR3, vcpu->arch.pdptrs[3]);

arch/x86/kvm/vmx/vmx.c

3406

vcpu->arch.pdptrs[3] = vmcs_read64(GUEST_PDPTR3);

arch/x86/kvm/vmx/vmx.c

6534

vmcs_read64(GUEST_PDPTR2), vmcs_read64(GUEST_PDPTR3));

tools/testing/selftests/kvm/include/x86/evmcs.h

378

case GUEST_PDPTR3:

tools/testing/selftests/kvm/include/x86/evmcs.h

810

case GUEST_PDPTR3: