Lines Matching defs:cvi
2181 CVInfo* cvi = HG_(zalloc)("hg.mctCloa.1", sizeof(CVInfo));
2182 cvi->so = so;
2183 cvi->mx_ga = 0;
2184 VG_(addToFM)( map_cond_to_CVInfo, (UWord)cond, (UWord)cvi );
2185 return cvi;
2210 CVInfo* cvi = (CVInfo*)valW;
2212 tl_assert(cvi);
2213 tl_assert(cvi->so);
2214 if (cvi->nWaiters > 0) {
2224 libhb_so_dealloc(cvi->so);
2225 cvi->mx_ga = 0;
2226 HG_(free)(cvi);
2248 CVInfo* cvi;
2258 cvi = map_cond_to_CVInfo_lookup_or_alloc( cond );
2259 tl_assert(cvi);
2260 tl_assert(cvi->so);
2284 if (cvi->mx_ga != 0) {
2285 lk = map_locks_maybe_lookup( (Addr)cvi->mx_ga );
2315 libhb_so_send( thr->hbthr, cvi->so, True/*strong_send*/ );
2326 CVInfo* cvi;
2369 cvi = map_cond_to_CVInfo_lookup_or_alloc(cond);
2370 tl_assert(cvi);
2371 tl_assert(cvi->so);
2372 if (cvi->nWaiters == 0) {
2374 cvi->mx_ga = mutex;
2377 if (cvi->mx_ga != mutex) {
2382 cvi->nWaiters++;
2395 CVInfo* cvi;
2407 cvi = map_cond_to_CVInfo_lookup_NO_alloc( cond );
2408 if (!cvi) {
2418 tl_assert(cvi);
2419 tl_assert(cvi->so);
2420 tl_assert(cvi->nWaiters > 0);
2422 if (!timeout && !libhb_so_everSent(cvi->so)) {
2432 libhb_so_recv( thr->hbthr, cvi->so, True/*strong_recv*/ );
2434 cvi->nWaiters--;
2440 CVInfo* cvi;
2447 cvi = map_cond_to_CVInfo_lookup_or_alloc( cond );
2448 tl_assert (cvi);
2449 tl_assert (cvi->so);