Searched refs:tmp_eptp (Results 1 – 1 of 1) sorted by relevance
539 u64 tmp_eptp = INVALID_PAGE; in check_ept_pointer_match() local543 if (!VALID_PAGE(tmp_eptp)) { in check_ept_pointer_match()544 tmp_eptp = to_vmx(vcpu)->ept_pointer; in check_ept_pointer_match()545 } else if (tmp_eptp != to_vmx(vcpu)->ept_pointer) { in check_ept_pointer_match()