Lines Matching defs:hbthr
176 static Thread* mk_Thread ( Thr* hbthr ) {
182 thread->hbthr = hbthr;
1016 Thr* hbthr = thr->hbthr;
1017 tl_assert(hbthr);
1018 libhb_copy_shadow_state( hbthr, src, dst, len );
1023 hbthr = thr->hbthr;
1024 tl_assert(hbthr);
1025 LIBHB_CREAD_N(hbthr, a, len);
1029 Thr* hbthr = thr->hbthr;
1030 tl_assert(hbthr);
1031 LIBHB_CWRITE_N(hbthr, a, len);
1036 libhb_srange_new( thr->hbthr, a, len );
1044 libhb_srange_noaccess_NoFX( thr->hbthr, aIN, len );
1052 libhb_srange_noaccess_AHAE( thr->hbthr, aIN, len );
1059 libhb_srange_untrack( thr->hbthr, aIN, len );
1121 tl_assert(thr->hbthr);
1129 libhb_so_recv( thr->hbthr, lk->hbso, True/*strong_recv*/ );
1172 libhb_so_recv( thr->hbthr, lk->hbso, True/*strong_recv*/ );
1220 tl_assert(thr->hbthr);
1228 libhb_so_recv( thr->hbthr, lk->hbso, False/*!strong_recv*/ );
1247 libhb_so_recv( thr->hbthr, lk->hbso, False/*!strong_recv*/ );
1393 tl_assert(thr->hbthr);
1397 libhb_so_send( thr->hbthr, lock->hbso, was_heldW );
1435 libhb_Thr_resumes( current_Thread->hbthr );
1605 hbthr_p = thr_p->hbthr;
1697 tl_assert(thr_q->hbthr);
1698 libhb_async_exit(thr_q->hbthr);
1728 tl_assert(thr->hbthr);
1729 libhb_async_exit(thr->hbthr);
1787 hbthr_s = thr_s->hbthr;
1788 hbthr_q = thr_q->hbthr;
1917 Thr* hbthr = thr->hbthr;
1919 LIBHB_CREAD_1(hbthr, a);
1925 Thr* hbthr = thr->hbthr;
1927 LIBHB_CREAD_2(hbthr, a);
1933 Thr* hbthr = thr->hbthr;
1935 LIBHB_CREAD_4(hbthr, a);
1941 Thr* hbthr = thr->hbthr;
1943 LIBHB_CREAD_8(hbthr, a);
1949 Thr* hbthr = thr->hbthr;
1951 LIBHB_CREAD_N(hbthr, a, size);
1957 Thr* hbthr = thr->hbthr;
1959 LIBHB_CWRITE_1(hbthr, a);
1965 Thr* hbthr = thr->hbthr;
1967 LIBHB_CWRITE_2(hbthr, a);
1973 Thr* hbthr = thr->hbthr;
1975 LIBHB_CWRITE_4(hbthr, a);
1981 Thr* hbthr = thr->hbthr;
1983 LIBHB_CWRITE_8(hbthr, a);
1989 Thr* hbthr = thr->hbthr;
1991 LIBHB_CWRITE_N(hbthr, a, size);
2418 libhb_so_send( thr->hbthr, cvi->so, True/*strong_send*/ );
2535 libhb_so_recv( thr->hbthr, cvi->so, True/*strong_recv*/ );
2859 Thr* hbthr = thr->hbthr;
2860 tl_assert(hbthr);
2863 libhb_so_send( hbthr, so, True/*strong send*/ );
2880 Thr* hbthr;
2891 hbthr = thr->hbthr;
2892 tl_assert(hbthr);
2895 libhb_so_send( hbthr, so, True/*strong send*/ );
2908 Thr* hbthr;
2922 hbthr = thr->hbthr;
2923 tl_assert(hbthr);
2925 libhb_so_recv( hbthr, so, True/*strong recv*/ );
3119 Thr* hbthr = t->hbthr;
3120 libhb_so_send( hbthr, so, False/*weak send*/ );
3125 Thr* hbthr = t->hbthr;
3126 libhb_so_recv( hbthr, so, True/*strong recv*/ );
3357 libhb_so_send( thr->hbthr, so, False/*!strong_send*/ );
3385 libhb_so_recv( thr->hbthr, so, True/*strong_recv*/ );
5134 dmml->hg_dependent->hbthr, stayer->hbthr);
5135 tl_assert(dmml->hg_dependent->hbthr != stayer->hbthr);
5136 generate_quitter_stayer_dependence (dmml->hg_dependent->hbthr,
5137 stayer->hbthr);
5265 dmml->hg_dependent->hbthr, stayer->hbthr);
5266 tl_assert(dmml->hg_dependent->hbthr != stayer->hbthr);
5267 generate_quitter_stayer_dependence (dmml->hg_dependent->hbthr,
5268 stayer->hbthr);
