/* Get and set the hgthread (pointer to corresponding Thread
structure). */
-void* libhb_get_Thr_hgthread ( Thr* );
-void libhb_set_Thr_hgthread ( Thr*, void* );
+Thread* libhb_get_Thr_hgthread ( Thr* );
+void libhb_set_Thr_hgthread ( Thr*, Thread* );
/* Low level copy of shadow state from [src,src+len) to [dst,dst+len).
Overlapping moves are checked for and asserted against. */
if (0 && TRACEME(a,szB)) trace(thr,a,szB,"untrack-after ");
}
-void* libhb_get_Thr_hgthread ( Thr* thr ) {
+Thread* libhb_get_Thr_hgthread ( Thr* thr ) {
tl_assert(thr);
return thr->hgthread;
}
-void libhb_set_Thr_hgthread ( Thr* thr, void* v ) {
+void libhb_set_Thr_hgthread ( Thr* thr, Thread* hgthread ) {
tl_assert(thr);
- thr->hgthread = v;
+ thr->hgthread = hgthread;
}
void libhb_copy_shadow_state ( Thr* thr, Addr src, Addr dst, SizeT len )