waitForStage4Resume   49 dmtcpworker.h        static void waitForStage4Resume(bool isRestart);
waitForStage4Resume   99 mtcpinterface.cpp   DmtcpWorker::waitForStage4Resume(isRestart);