2398 void evh__HG_PTHREAD_RWLOCK_INIT_POST( ThreadId tid, void* rwl )  in evh__HG_PTHREAD_RWLOCK_INIT_POST()  argument
2402                   (Int)tid, (void*)rwl );  in evh__HG_PTHREAD_RWLOCK_INIT_POST()
2403    map_locks_lookup_or_create( LK_rdwr, (Addr)rwl, tid );  in evh__HG_PTHREAD_RWLOCK_INIT_POST()
2409 void evh__HG_PTHREAD_RWLOCK_DESTROY_PRE( ThreadId tid, void* rwl )  in evh__HG_PTHREAD_RWLOCK_DESTROY_PRE()  argument
2415                   (Int)tid, (void*)rwl );  in evh__HG_PTHREAD_RWLOCK_DESTROY_PRE()
2421    lk = map_locks_maybe_lookup( (Addr)rwl );  in evh__HG_PTHREAD_RWLOCK_DESTROY_PRE()
2430       tl_assert( lk->guestaddr == (Addr)rwl );  in evh__HG_PTHREAD_RWLOCK_DESTROY_PRE()
2457                                        void* rwl,  in evh__HG_PTHREAD_RWLOCK_LOCK_PRE()  argument
2466                   (Int)tid, (Int)isW, (void*)rwl );  in evh__HG_PTHREAD_RWLOCK_LOCK_PRE()
2473    lk = map_locks_maybe_lookup( (Addr)rwl );  in evh__HG_PTHREAD_RWLOCK_LOCK_PRE()
2484 void evh__HG_PTHREAD_RWLOCK_LOCK_POST ( ThreadId tid, void* rwl, Word isW )  in evh__HG_PTHREAD_RWLOCK_LOCK_POST()  argument
2490                   (Int)tid, (Int)isW, (void*)rwl );  in evh__HG_PTHREAD_RWLOCK_LOCK_POST()
2500       (Addr)rwl  in evh__HG_PTHREAD_RWLOCK_LOCK_POST()
2504 static void evh__HG_PTHREAD_RWLOCK_UNLOCK_PRE ( ThreadId tid, void* rwl )  in evh__HG_PTHREAD_RWLOCK_UNLOCK_PRE()  argument
2510                   (Int)tid, (void*)rwl );  in evh__HG_PTHREAD_RWLOCK_UNLOCK_PRE()
2515    evhH__pre_thread_releases_lock( thr, (Addr)rwl, True/*isRDWR*/ );  in evh__HG_PTHREAD_RWLOCK_UNLOCK_PRE()
2518 static void evh__HG_PTHREAD_RWLOCK_UNLOCK_POST ( ThreadId tid, void* rwl )  in evh__HG_PTHREAD_RWLOCK_UNLOCK_POST()  argument
2524                   (Int)tid, (void*)rwl );  in evh__HG_PTHREAD_RWLOCK_UNLOCK_POST()