Lines Matching refs:tid
43 /* A thread exits. tid must currently be running. */
44 extern void VG_(exit_thread)(ThreadId tid);
46 /* If 'tid' is blocked in a syscall, send it SIGVGKILL so as to get it
49 extern void VG_(get_thread_out_of_syscall)(ThreadId tid);
51 /* Nuke all threads except tid. */
58 the CPU lock. By the time it returns, tid will be the running
60 extern void VG_(acquire_BigLock) ( ThreadId tid, HChar* who );
75 extern void VG_(release_BigLock) ( ThreadId tid,
82 extern Bool VG_(owns_BigLock_LL) ( ThreadId tid );
89 extern VgSchedReturnCode VG_(scheduler) ( ThreadId tid );
