Lines Matching defs:ept_pointer
543 tmp_eptp = to_vmx(vcpu)->ept_pointer;
544 } else if (tmp_eptp != to_vmx(vcpu)->ept_pointer) {
566 u64 ept_pointer = to_vmx(vcpu)->ept_pointer;
574 return hyperv_flush_guest_mapping_range(ept_pointer & PAGE_MASK,
577 return hyperv_flush_guest_mapping(ept_pointer & PAGE_MASK);
593 /* If ept_pointer is invalid pointer, bypass flush request. */
594 if (VALID_PAGE(to_vmx(vcpu)->ept_pointer))
3191 to_vmx(vcpu)->ept_pointer = eptp;
7132 vmx->ept_pointer = INVALID_PAGE;