dmtcpResetTid      51 plugin/pid/pid_miscwrappers.cpp   dmtcpResetTid(getpid());
dmtcpResetTid     102 plugin/pid/pid_miscwrappers.cpp     dmtcpResetTid(virtualTid);
dmtcpResetTid      82 plugin/pid/pidwrappers.h   void dmtcpResetTid(pid_t tid);
dmtcpResetTid     282 syscallwrappers.h   LIB_PRIVATE void dmtcpResetTid(pid_t tid);