Searched refs:tmp_eptp (Results 1 – 1 of 1) sorted by relevance
479 u64 tmp_eptp = INVALID_PAGE; in check_ept_pointer_match() local483 if (!VALID_PAGE(tmp_eptp)) { in check_ept_pointer_match()484 tmp_eptp = to_vmx(vcpu)->ept_pointer; in check_ept_pointer_match()485 } else if (tmp_eptp != to_vmx(vcpu)->ept_pointer) { in check_ept_pointer_match()
