Searched refs:tmp_eptp (Results 1 – 1 of 1) sorted by relevance
1545 u64 tmp_eptp = INVALID_PAGE; in check_ept_pointer_match() local1549 if (!VALID_PAGE(tmp_eptp)) { in check_ept_pointer_match()1550 tmp_eptp = to_vmx(vcpu)->ept_pointer; in check_ept_pointer_match()1551 } else if (tmp_eptp != to_vmx(vcpu)->ept_pointer) { in check_ept_pointer_match()
