Searched defs:thread_set_vg_running_tid (Results 1 – 2 of 2) 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
751 void DRD_(thread_set_vg_running_tid)(const ThreadId vg_tid) in DRD_() argument