tmp_eptp          463 arch/x86/kvm/vmx/vmx.c 	u64 tmp_eptp = INVALID_PAGE;
tmp_eptp          467 arch/x86/kvm/vmx/vmx.c 		if (!VALID_PAGE(tmp_eptp)) {
tmp_eptp          468 arch/x86/kvm/vmx/vmx.c 			tmp_eptp = to_vmx(vcpu)->ept_pointer;
tmp_eptp          469 arch/x86/kvm/vmx/vmx.c 		} else if (tmp_eptp != to_vmx(vcpu)->ept_pointer) {