Lines Matching refs:Thr

45 Thr* libhb_init (
46         void        (*get_stacktrace)( Thr*, Addr*, UWord ),
47         ExeContext* (*get_EC)( Thr* )
55 Thr* libhb_create ( Thr* parent );
58 void libhb_async_exit      ( Thr* exitter );
59 void libhb_joinedwith_done ( Thr* exitter );
84 void libhb_so_send ( Thr* thr, SO* so, Bool strong_send );
94 void libhb_so_recv ( Thr* thr, SO* so, Bool strong_recv );
113 void zsm_sapply08_f__msmcwrite ( Thr* thr, Addr a );
114 void zsm_sapply16_f__msmcwrite ( Thr* thr, Addr a );
115 void zsm_sapply32_f__msmcwrite ( Thr* thr, Addr a );
116 void zsm_sapply64_f__msmcwrite ( Thr* thr, Addr a );
117 void zsm_sapplyNN_f__msmcwrite ( Thr* thr, Addr a, SizeT len );
119 void zsm_sapply08_f__msmcread ( Thr* thr, Addr a );
120 void zsm_sapply16_f__msmcread ( Thr* thr, Addr a );
121 void zsm_sapply32_f__msmcread ( Thr* thr, Addr a );
122 void zsm_sapply64_f__msmcread ( Thr* thr, Addr a );
123 void zsm_sapplyNN_f__msmcread ( Thr* thr, Addr a, SizeT len );
125 void libhb_Thr_resumes ( Thr* thr );
129 void libhb_srange_new      ( Thr*, Addr, SizeT );
130 void libhb_srange_untrack  ( Thr*, Addr, SizeT );
131 void libhb_srange_noaccess_NoFX ( Thr*, Addr, SizeT ); /* IS IGNORED */
132 void libhb_srange_noaccess_AHAE ( Thr*, Addr, SizeT ); /* IS NOT IGNORED */
143 Thread* libhb_get_Thr_hgthread ( Thr* );
144 void    libhb_set_Thr_hgthread ( Thr*, Thread* );
148 void libhb_copy_shadow_state ( Thr* thr, Addr src, Addr dst, SizeT len );
156                               /*OUT*/Thr**        resThr,
160                               Thr* thr, Addr a, SizeT szB, Bool isW );
163                           Thr*  Thr_a,