Searched refs:thread_set_vg_running_tid (Results 1 – 3 of 3) sorted by relevance
286 DRD_(thread_set_vg_running_tid)(VG_(get_running_tid)()); in drd_pre_mem_read() local326 DRD_(thread_set_vg_running_tid)(VG_(get_running_tid)()); in drd_post_mem_write() local496 DRD_(thread_set_vg_running_tid)(VG_(get_running_tid)()); in drd_start_using_mem_w_perms() local623 DRD_(thread_set_vg_running_tid)(VG_(get_running_tid)()); in drd_start_using_mem_stack_signal() local758 DRD_(thread_set_vg_running_tid)(tid); in drd_start_client_code() local
179 void DRD_(thread_set_vg_running_tid)(const ThreadId vg_tid);
747 void DRD_(thread_set_vg_running_tid)(const ThreadId vg_tid) in DRD_() argument