EPT_POINTER       124 arch/x86/kvm/vmx/evmcs.c 	EVMCS1_FIELD(EPT_POINTER, ept_pointer,
EPT_POINTER      1990 arch/x86/kvm/vmx/nested.c 		vmcs_write64(EPT_POINTER, construct_eptp(&vmx->vcpu, 0));
EPT_POINTER        44 arch/x86/kvm/vmx/vmcs12.c 	FIELD64(EPT_POINTER, ept_pointer),
EPT_POINTER      2980 arch/x86/kvm/vmx/vmx.c 		vmcs_write64(EPT_POINTER, eptp);
EPT_POINTER      5823 arch/x86/kvm/vmx/vmx.c 		pr_err("EPT pointer = 0x%016llx\n", vmcs_read64(EPT_POINTER));
EPT_POINTER       413 tools/testing/selftests/kvm/include/evmcs.h 	case EPT_POINTER:
EPT_POINTER       800 tools/testing/selftests/kvm/include/evmcs.h 	case EPT_POINTER:
EPT_POINTER       225 tools/testing/selftests/kvm/lib/x86_64/vmx.c 		vmwrite(EPT_POINTER, ept_paddr);