Searched defs:thread_set_vg_running_tid (Results 1 – 2 of 2) sorted by relevance
288 DRD_(thread_set_vg_running_tid)(VG_(get_running_tid)()); in drd_post_mem_write() local427 DRD_(thread_set_vg_running_tid)(VG_(get_running_tid)()); in drd_start_using_mem_w_perms() local539 DRD_(thread_set_vg_running_tid)(VG_(get_running_tid)()); in drd_start_using_mem_stack_signal() local669 DRD_(thread_set_vg_running_tid)(tid); in drd_start_client_code() local
626 void DRD_(thread_set_vg_running_tid)(const ThreadId vg_tid) in DRD_() argument