Searched defs:thread_set_running_tid (Results 1 – 1 of 1) sorted by relevance
753 DRD_(thread_set_running_tid)(vg_tid, in DRD_() local765 void DRD_(thread_set_running_tid)(const ThreadId vg_tid, in DRD_() argument