preResumeThreadCount   80 threadsync.cpp static int preResumeThreadCount = INVALID_USER_THREAD_COUNT;
preResumeThreadCount  632 threadsync.cpp   preResumeThreadCount++;
preResumeThreadCount  643 threadsync.cpp   JASSERT(preResumeThreadCount > 0) (dmtcp_gettid()) (preResumeThreadCount);
preResumeThreadCount  644 threadsync.cpp   preResumeThreadCount--;
preResumeThreadCount  652 threadsync.cpp   if (preResumeThreadCount != INVALID_USER_THREAD_COUNT) {
preResumeThreadCount  653 threadsync.cpp     while (preResumeThreadCount != 0) {