Searched refs:RECHECK_DELETED (Results 1 – 1 of 1) sorted by relevance
22 RECHECK_DELETED, RETURN_A, RETURN_B}; enumerator191 } else if (stage == RECHECK_DELETED) { in vcs_solve_TP()612 stage = RECHECK_DELETED; in solve_tp_inner()1278 stage = RECHECK_DELETED; in solve_tp_equilib_check()