Searched refs:is_sane_VTS (Results 1 – 1 of 1) sorted by relevance
2167 static Bool is_sane_VTS ( VTS* vts ) in is_sane_VTS() function2306 tl_assert(is_sane_VTS(vts)); in VTS__tick()2359 tl_assert(is_sane_VTS(out)); in VTS__tick()2460 tl_assert(is_sane_VTS(out)); in VTS__join()