Lines Matching refs:cvi
2199 CVInfo* cvi = HG_(zalloc)("hg.mctCloa.1", sizeof(CVInfo));
2200 cvi->so = so;
2201 cvi->mx_ga = 0;
2202 VG_(addToFM)( map_cond_to_CVInfo, (UWord)cond, (UWord)cvi );
2203 return cvi;
2211 CVInfo* cvi = (CVInfo*)valW;
2213 tl_assert(cvi);
2214 tl_assert(cvi->so);
2215 libhb_so_dealloc(cvi->so);
2216 cvi->mx_ga = 0;
2217 HG_(free)(cvi);
2230 CVInfo* cvi;
2240 cvi = map_cond_to_CVInfo_lookup_or_alloc( cond );
2241 tl_assert(cvi);
2242 tl_assert(cvi->so);
2252 //lk = map_locks_maybe_lookup(cvi->mx_ga);
2253 //if (lk == NULL || cvi->mx_ga == 0) {
2276 libhb_so_send( thr->hbthr, cvi->so, True/*strong_send*/ );
2287 CVInfo* cvi;
2330 cvi = map_cond_to_CVInfo_lookup_or_alloc(cond);
2331 tl_assert(cvi);
2332 tl_assert(cvi->so);
2333 if (cvi->nWaiters == 0) {
2335 cvi->mx_ga = mutex;
2338 if (cvi->mx_ga != mutex) {
2343 cvi->nWaiters++;
2355 CVInfo* cvi;
2367 cvi = map_cond_to_CVInfo_lookup_or_alloc( cond );
2368 tl_assert(cvi);
2369 tl_assert(cvi->so);
2370 tl_assert(cvi->nWaiters > 0);
2372 if (!libhb_so_everSent(cvi->so)) {
2382 libhb_so_recv( thr->hbthr, cvi->so, True/*strong_recv*/ );
2384 cvi->nWaiters--;
