determineCkptSignal  161 dmtcpplugin.cpp   const int ckpt_signal = DmtcpWorker::determineCkptSignal();
determineCkptSignal  327 dmtcpworker.cpp   determineCkptSignal();
determineCkptSignal   56 dmtcpworker.h        static int determineCkptSignal();
determineCkptSignal   47 signalwrappers.cpp     stopSignal = DmtcpWorker::determineCkptSignal();
determineCkptSignal  253 threadsync.cpp     JASSERT(raise(DmtcpWorker::determineCkptSignal()) == 0)