_dmtcp_thread_tid   41 plugin/pid/pidwrappers.cpp static __thread pid_t _dmtcp_thread_tid = -1;
_dmtcp_thread_tid  113 plugin/pid/pidwrappers.cpp   _dmtcp_thread_tid = tid;
_dmtcp_thread_tid  135 plugin/pid/pidwrappers.cpp   if (_dmtcp_thread_tid == -1) {
_dmtcp_thread_tid  136 plugin/pid/pidwrappers.cpp     _dmtcp_thread_tid = getpid();
_dmtcp_thread_tid  140 plugin/pid/pidwrappers.cpp   return _dmtcp_thread_tid;