2204       CVInfo* cvi = HG_(zalloc)("hg.mctCloa.1", sizeof(CVInfo));  in map_cond_to_CVInfo_lookup_or_alloc()  local
2205       cvi->so     = so;  in map_cond_to_CVInfo_lookup_or_alloc()
2206       cvi->mx_ga  = 0;  in map_cond_to_CVInfo_lookup_or_alloc()
2207       VG_(addToFM)( map_cond_to_CVInfo, (UWord)cond, (UWord)cvi );  in map_cond_to_CVInfo_lookup_or_alloc()
2208       return cvi;  in map_cond_to_CVInfo_lookup_or_alloc()
2233       CVInfo* cvi = (CVInfo*)valW;  in map_cond_to_CVInfo_delete()  local
2235       tl_assert(cvi);  in map_cond_to_CVInfo_delete()
2236       tl_assert(cvi->so);  in map_cond_to_CVInfo_delete()
2237       if (cvi->nWaiters > 0) {  in map_cond_to_CVInfo_delete()
2247       libhb_so_dealloc(cvi->so);  in map_cond_to_CVInfo_delete()
2248       cvi->mx_ga = 0;  in map_cond_to_CVInfo_delete()
2249       HG_(free)(cvi);  in map_cond_to_CVInfo_delete()
2271    CVInfo*   cvi;  in evh__HG_PTHREAD_COND_SIGNAL_PRE()  local
2281    cvi = map_cond_to_CVInfo_lookup_or_alloc( cond );  in evh__HG_PTHREAD_COND_SIGNAL_PRE()
2282    tl_assert(cvi);  in evh__HG_PTHREAD_COND_SIGNAL_PRE()
2283    tl_assert(cvi->so);  in evh__HG_PTHREAD_COND_SIGNAL_PRE()
2307       if (cvi->mx_ga != 0) {  in evh__HG_PTHREAD_COND_SIGNAL_PRE()
2308          lk = map_locks_maybe_lookup( (Addr)cvi->mx_ga );  in evh__HG_PTHREAD_COND_SIGNAL_PRE()
2338    libhb_so_send( thr->hbthr, cvi->so, True/*strong_send*/ );  in evh__HG_PTHREAD_COND_SIGNAL_PRE()
2349    CVInfo* cvi;  in evh__HG_PTHREAD_COND_WAIT_PRE()  local
2392    cvi = map_cond_to_CVInfo_lookup_or_alloc(cond);  in evh__HG_PTHREAD_COND_WAIT_PRE()
2393    tl_assert(cvi);  in evh__HG_PTHREAD_COND_WAIT_PRE()
2394    tl_assert(cvi->so);  in evh__HG_PTHREAD_COND_WAIT_PRE()
2395    if (cvi->nWaiters == 0) {  in evh__HG_PTHREAD_COND_WAIT_PRE()
2397       cvi->mx_ga = mutex;  in evh__HG_PTHREAD_COND_WAIT_PRE()
2400    if (cvi->mx_ga != mutex) {  in evh__HG_PTHREAD_COND_WAIT_PRE()
2405    cvi->nWaiters++;  in evh__HG_PTHREAD_COND_WAIT_PRE()
2418    CVInfo* cvi;  in evh__HG_PTHREAD_COND_WAIT_POST()  local
2430    cvi = map_cond_to_CVInfo_lookup_NO_alloc( cond );  in evh__HG_PTHREAD_COND_WAIT_POST()
2431    if (!cvi) {  in evh__HG_PTHREAD_COND_WAIT_POST()
2441    tl_assert(cvi);  in evh__HG_PTHREAD_COND_WAIT_POST()
2442    tl_assert(cvi->so);  in evh__HG_PTHREAD_COND_WAIT_POST()
2443    tl_assert(cvi->nWaiters > 0);  in evh__HG_PTHREAD_COND_WAIT_POST()
2445    if (!timeout && !libhb_so_everSent(cvi->so)) {  in evh__HG_PTHREAD_COND_WAIT_POST()
2455    libhb_so_recv( thr->hbthr, cvi->so, True/*strong_recv*/ );  in evh__HG_PTHREAD_COND_WAIT_POST()
2457    cvi->nWaiters--;  in evh__HG_PTHREAD_COND_WAIT_POST()
2463    CVInfo* cvi;  in evh__HG_PTHREAD_COND_INIT_POST()  local
2470    cvi = map_cond_to_CVInfo_lookup_or_alloc( cond );  in evh__HG_PTHREAD_COND_INIT_POST()
2471    tl_assert (cvi);  in evh__HG_PTHREAD_COND_INIT_POST()
2472    tl_assert (cvi->so);  in evh__HG_PTHREAD_COND_INIT_POST()