ept_pointer       685 arch/x86/include/asm/hyperv-tlfs.h 	u64 ept_pointer;
ept_pointer       124 arch/x86/kvm/vmx/evmcs.c 	EVMCS1_FIELD(EPT_POINTER, ept_pointer,
ept_pointer      1581 arch/x86/kvm/vmx/nested.c 		vmcs12->ept_pointer = evmcs->ept_pointer;
ept_pointer      2539 arch/x86/kvm/vmx/nested.c 	    CC(!valid_ept_address(vcpu, vmcs12->ept_pointer)))
ept_pointer      5062 arch/x86/kvm/vmx/nested.c 	if (vmcs12->ept_pointer != address) {
ept_pointer      5069 arch/x86/kvm/vmx/nested.c 		vmcs12->ept_pointer = address;
ept_pointer        65 arch/x86/kvm/vmx/nested.h 	return get_vmcs12(vcpu)->ept_pointer;
ept_pointer        44 arch/x86/kvm/vmx/vmcs12.c 	FIELD64(EPT_POINTER, ept_pointer),
ept_pointer        47 arch/x86/kvm/vmx/vmcs12.h 	u64 ept_pointer;
ept_pointer       237 arch/x86/kvm/vmx/vmcs12.h 	CHECK_OFFSET(ept_pointer, 120);
ept_pointer       468 arch/x86/kvm/vmx/vmx.c 			tmp_eptp = to_vmx(vcpu)->ept_pointer;
ept_pointer       469 arch/x86/kvm/vmx/vmx.c 		} else if (tmp_eptp != to_vmx(vcpu)->ept_pointer) {
ept_pointer       491 arch/x86/kvm/vmx/vmx.c 	u64 ept_pointer = to_vmx(vcpu)->ept_pointer;
ept_pointer       499 arch/x86/kvm/vmx/vmx.c 		return hyperv_flush_guest_mapping_range(ept_pointer & PAGE_MASK,
ept_pointer       502 arch/x86/kvm/vmx/vmx.c 		return hyperv_flush_guest_mapping(ept_pointer & PAGE_MASK);
ept_pointer       519 arch/x86/kvm/vmx/vmx.c 			if (VALID_PAGE(to_vmx(vcpu)->ept_pointer))
ept_pointer      2984 arch/x86/kvm/vmx/vmx.c 			to_vmx(vcpu)->ept_pointer = eptp;
ept_pointer      6788 arch/x86/kvm/vmx/vmx.c 	vmx->ept_pointer = INVALID_PAGE;
ept_pointer       284 arch/x86/kvm/vmx/vmx.h 	u64 ept_pointer;
ept_pointer       157 tools/testing/selftests/kvm/include/evmcs.h 	u64 ept_pointer;
ept_pointer       414 tools/testing/selftests/kvm/include/evmcs.h 		*value = current_evmcs->ept_pointer;
ept_pointer       801 tools/testing/selftests/kvm/include/evmcs.h 		current_evmcs->ept_pointer = value;