Lines Matching defs:cvi
2134 CVInfo* cvi = HG_(zalloc)("hg.mctCloa.1", sizeof(CVInfo));
2135 cvi->so = so;
2136 cvi->mx_ga = 0;
2137 VG_(addToFM)( map_cond_to_CVInfo, (UWord)cond, (UWord)cvi );
2138 return cvi;
2162 CVInfo* cvi = (CVInfo*)valW;
2164 tl_assert(cvi);
2165 tl_assert(cvi->so);
2166 if (cvi->nWaiters > 0) {
2171 libhb_so_dealloc(cvi->so);
2172 cvi->mx_ga = 0;
2173 HG_(free)(cvi);
2189 CVInfo* cvi;
2199 cvi = map_cond_to_CVInfo_lookup_or_alloc( cond );
2200 tl_assert(cvi);
2201 tl_assert(cvi->so);
2225 if (cvi->mx_ga != 0) {
2226 lk = map_locks_maybe_lookup( (Addr)cvi->mx_ga );
2256 libhb_so_send( thr->hbthr, cvi->so, True/*strong_send*/ );
2267 CVInfo* cvi;
2310 cvi = map_cond_to_CVInfo_lookup_or_alloc(cond);
2311 tl_assert(cvi);
2312 tl_assert(cvi->so);
2313 if (cvi->nWaiters == 0) {
2315 cvi->mx_ga = mutex;
2318 if (cvi->mx_ga != mutex) {
2323 cvi->nWaiters++;
2335 CVInfo* cvi;
2347 cvi = map_cond_to_CVInfo_lookup_NO_alloc( cond );
2348 if (!cvi) {
2358 tl_assert(cvi);
2359 tl_assert(cvi->so);
2360 tl_assert(cvi->nWaiters > 0);
2362 if (!libhb_so_everSent(cvi->so)) {
2372 libhb_so_recv( thr->hbthr, cvi->so, True/*strong_recv*/ );
2374 cvi->nWaiters--;
