Searched refs:thread_set_vg_running_tid (Results 1 – 3 of 3) sorted by relevance
281 DRD_(thread_set_vg_running_tid)(VG_(get_running_tid)()); in drd_pre_mem_read() local321 DRD_(thread_set_vg_running_tid)(VG_(get_running_tid)()); in drd_post_mem_write() local491 DRD_(thread_set_vg_running_tid)(VG_(get_running_tid)()); in drd_start_using_mem_w_perms() local618 DRD_(thread_set_vg_running_tid)(VG_(get_running_tid)()); in drd_start_using_mem_stack_signal() local753 DRD_(thread_set_vg_running_tid)(tid); in drd_start_client_code() local
164 void DRD_(thread_set_vg_running_tid)(const ThreadId vg_tid);
679 void DRD_(thread_set_vg_running_tid)(const ThreadId vg_tid) in DRD_() argument