Searched refs:wsW (Results 1 – 1 of 1) sorted by relevance
890 WordSetID wsA, wsW; in threads__sanity_check() local897 wsW = thr->locksetW; in threads__sanity_check()899 if (!HG_(isSubsetOf)( univ_lsets, wsW, wsA )) BAD("7"); in threads__sanity_check()