Searched refs:tmp_eptp (Results 1 – 1 of 1) sorted by relevance
463 u64 tmp_eptp = INVALID_PAGE; in check_ept_pointer_match() local467 if (!VALID_PAGE(tmp_eptp)) { in check_ept_pointer_match()468 tmp_eptp = to_vmx(vcpu)->ept_pointer; in check_ept_pointer_match()469 } else if (tmp_eptp != to_vmx(vcpu)->ept_pointer) { in check_ept_pointer_match()
