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;
2146 CVInfo* cvi = (CVInfo*)valW;
2148 tl_assert(cvi);
2149 tl_assert(cvi->so);
2150 libhb_so_dealloc(cvi->so);
2151 cvi->mx_ga = 0;
2152 HG_(free)(cvi);
2165 CVInfo* cvi;
2175 cvi = map_cond_to_CVInfo_lookup_or_alloc( cond );
2176 tl_assert(cvi);
2177 tl_assert(cvi->so);
2201 if (cvi->mx_ga != 0) {
2202 lk = map_locks_maybe_lookup( (Addr)cvi->mx_ga );
2232 libhb_so_send( thr->hbthr, cvi->so, True/*strong_send*/ );
2243 CVInfo* cvi;
2286 cvi = map_cond_to_CVInfo_lookup_or_alloc(cond);
2287 tl_assert(cvi);
2288 tl_assert(cvi->so);
2289 if (cvi->nWaiters == 0) {
2291 cvi->mx_ga = mutex;
2294 if (cvi->mx_ga != mutex) {
2299 cvi->nWaiters++;
2311 CVInfo* cvi;
2323 cvi = map_cond_to_CVInfo_lookup_or_alloc( cond );
2324 tl_assert(cvi);
2325 tl_assert(cvi->so);
2326 tl_assert(cvi->nWaiters > 0);
2328 if (!libhb_so_everSent(cvi->so)) {
2338 libhb_so_recv( thr->hbthr, cvi->so, True/*strong_recv*/ );
2340 cvi->nWaiters--;
