361 static void        (*main_get_stacktrace)( Thr*, Addr*, UWord ) = NULL;
362 static ExeContext* (*main_get_EC)( Thr* ) = NULL;
2001 static ThrID Thr__to_ThrID   ( Thr*  thr   ); /* fwds */
2002 static Thr*  Thr__from_ThrID ( ThrID thrid ); /* fwds */
2121 static void VTS__singleton ( /*OUT*/VTS* out, Thr* thr, ULong tym );
2126 static void VTS__tick ( /*OUT*/VTS* out, Thr* me, VTS* vts );
2156 static ULong VTS__indexAt_SLOW ( VTS* vts, Thr* idx );
2163 static void VTS__declare_thread_very_dead ( Thr* idx );
2274 static void VTS__singleton ( /*OUT*/VTS* out, Thr* thr, ULong tym )  in VTS__singleton()
2290 static void VTS__tick ( /*OUT*/VTS* out, Thr* me, VTS* vts )  in VTS__tick()
2636 ULong VTS__indexAt_SLOW ( VTS* vts, Thr* idx )  in VTS__indexAt_SLOW()
2654 static void VTS__declare_thread_very_dead ( Thr* thr )  in VTS__declare_thread_very_dead()
3260       Thr* hbthr = hgthread->hbthr;  in vts_tab__do_GC()
3491 static VtsID VtsID__mk_Singleton ( Thr* thr, ULong tym ) {  in VtsID__mk_Singleton()
3498 static VtsID VtsID__tick ( VtsID vi, Thr* idx ) {  in VtsID__tick()
3506 static ULong VtsID__indexAt ( VtsID vi, Thr* idx ) {  in VtsID__indexAt()
3516 static Thr* VtsID__findFirst_notLEQ ( VtsID vi1, VtsID vi2 )  in VtsID__findFirst_notLEQ()
3519    Thr*  diffthr;  in VtsID__findFirst_notLEQ()
4012 static ThrID Thr__to_ThrID ( Thr* thr ) {  in Thr__to_ThrID()
4015 static Thr* Thr__from_ThrID ( UInt thrid ) {  in Thr__from_ThrID()
4016    Thr* thr = *(Thr**)VG_(indexXA)( thrid_to_thr_map, thrid - 1024 );  in Thr__from_ThrID()
4021 static Thr* Thr__new ( void )  in Thr__new()
4023    Thr* thr = HG_(zalloc)( "libhb.Thr__new.1", sizeof(Thr) );  in Thr__new()
4039                                      HG_(free), sizeof(Thr*) );  in Thr__new()
4054 static void note_local_Kw_n_stack_for ( Thr* thr )  in note_local_Kw_n_stack_for()
4406 static RCEC* get_RCEC ( Thr* thr )  in get_RCEC()
4582 static void event_map_bind ( Addr a, SizeT szB, Bool isW, Thr* thr )  in event_map_bind()
4653                               /*OUT*/Thr**        resThr,  in libhb_event_map_lookup()
4657                               Thr* thr, Addr a, SizeT szB, Bool isW )  in libhb_event_map_lookup()
4978 static void record_race_info ( Thr* acc_thr,   in record_race_info()
5015       Thr*  confThr;  in record_race_info()
5106                               Thr* acc_thr,  in msmcread()
5171                               Thr* acc_thr,  in msmcwrite()
5248 static void zsm_sapply08__msmcread ( Thr* thr, Addr a ) {  in zsm_sapply08__msmcread()
5272 static void zsm_sapply08__msmcwrite ( Thr* thr, Addr a ) {  in zsm_sapply08__msmcwrite()
5298 static void zsm_sapply16__msmcread ( Thr* thr, Addr a ) {  in zsm_sapply16__msmcread()
5332 static void zsm_sapply16__msmcwrite ( Thr* thr, Addr a ) {  in zsm_sapply16__msmcwrite()
5368 static void zsm_sapply32__msmcread ( Thr* thr, Addr a ) {  in zsm_sapply32__msmcread()
5402 static void zsm_sapply32__msmcwrite ( Thr* thr, Addr a ) {  in zsm_sapply32__msmcwrite()
5438 static void zsm_sapply64__msmcread ( Thr* thr, Addr a ) {  in zsm_sapply64__msmcread()
5466 static void zsm_sapply64__msmcwrite ( Thr* thr, Addr a ) {  in zsm_sapply64__msmcwrite()
5891 void zsm_sapply08_f__msmcwrite ( Thr* thr, Addr a ) {  in zsm_sapply08_f__msmcwrite()
5901 void zsm_sapply16_f__msmcwrite ( Thr* thr, Addr a ) {  in zsm_sapply16_f__msmcwrite()
5911 void zsm_sapply32_f__msmcwrite ( Thr* thr, Addr a ) {  in zsm_sapply32_f__msmcwrite()
5921 void zsm_sapply64_f__msmcwrite ( Thr* thr, Addr a ) {  in zsm_sapply64_f__msmcwrite()
5931 void zsm_sapplyNN_f__msmcwrite ( Thr* thr, Addr a, SizeT len )  in zsm_sapplyNN_f__msmcwrite()
6007 void zsm_sapply08_f__msmcread ( Thr* thr, Addr a ) {  in zsm_sapply08_f__msmcread()
6017 void zsm_sapply16_f__msmcread ( Thr* thr, Addr a ) {  in zsm_sapply16_f__msmcread()
6027 void zsm_sapply32_f__msmcread ( Thr* thr, Addr a ) {  in zsm_sapply32_f__msmcread()
6037 void zsm_sapply64_f__msmcread ( Thr* thr, Addr a ) {  in zsm_sapply64_f__msmcread()
6047 void zsm_sapplyNN_f__msmcread ( Thr* thr, Addr a, SizeT len )  in zsm_sapplyNN_f__msmcread()
6123 void libhb_Thr_resumes ( Thr* thr )  in libhb_Thr_resumes()
6200 static void show_thread_state ( const HChar* str, Thr* t )   in show_thread_state()
6217 Thr* libhb_init (  in libhb_init()  argument
6218         void        (*get_stacktrace)( Thr*, Addr*, UWord ),  in libhb_init()
6219         ExeContext* (*get_EC)( Thr* )  in libhb_init()
6222    Thr*  thr;  in libhb_init()
6280 Thr* libhb_create ( Thr* parent )  in libhb_create()
6286    Thr* child = Thr__new();  in libhb_create()
6436             Thr* hbthr = hgthread->hbthr;  in libhb_shutdown()
6549 void libhb_async_exit ( Thr* thr )  in libhb_async_exit()
6581 void libhb_joinedwith_done ( Thr* thr )  in libhb_joinedwith_done()
6610 void libhb_so_send ( Thr* thr, SO* so, Bool strong_send )  in libhb_so_send()
6663 void libhb_so_recv ( Thr* thr, SO* so, Bool strong_recv )  in libhb_so_recv()
6737 static void trace ( Thr* thr, Addr a, SizeT szB, const HChar* s )   in trace()
6745 void libhb_srange_new ( Thr* thr, Addr a, SizeT szB )  in libhb_srange_new()
6755 void libhb_srange_noaccess_NoFX ( Thr* thr, Addr a, SizeT szB )  in libhb_srange_noaccess_NoFX()
6939 void libhb_srange_noaccess_AHAE ( Thr* thr, Addr a, SizeT szB )  in libhb_srange_noaccess_AHAE()
7021 void libhb_srange_untrack ( Thr* thr, Addr a, SizeT szB )  in libhb_srange_untrack()
7034 Thread* libhb_get_Thr_hgthread ( Thr* thr ) {  in libhb_get_Thr_hgthread()
7039 void libhb_set_Thr_hgthread ( Thr* thr, Thread* hgthread ) {  in libhb_set_Thr_hgthread()
7044 void libhb_copy_shadow_state ( Thr* thr, Addr src, Addr dst, SizeT len )  in libhb_copy_shadow_state()