541    ThreadId vg_tid;  in on_alt_stack()  local
545    vg_tid = VG_(get_running_tid)();  in on_alt_stack()
546    alt_min = VG_(thread_get_altstack_min)(vg_tid);  in on_alt_stack()
547    alt_size = VG_(thread_get_altstack_size)(vg_tid);  in on_alt_stack()
569 void drd_pre_deliver_signal(const ThreadId vg_tid, const Int sigNo,  in drd_pre_deliver_signal()  argument
574    drd_tid = DRD_(VgThreadIdToDrdThreadId)(vg_tid);  in drd_pre_deliver_signal()
593 void drd_post_deliver_signal(const ThreadId vg_tid, const Int sigNo)  in drd_post_deliver_signal()  argument
597    drd_tid = DRD_(VgThreadIdToDrdThreadId)(vg_tid);  in drd_post_deliver_signal()
678 static void drd_thread_finished(ThreadId vg_tid)  in drd_thread_finished()  argument
686    if (VG_(get_running_tid)() != vg_tid)  in drd_thread_finished()
689    drd_tid = DRD_(VgThreadIdToDrdThreadId)(vg_tid);  in drd_thread_finished()