delayCheckpointsLock  149 dmtcpplugin.cpp   ThreadSync::delayCheckpointsLock();
delayCheckpointsLock   66 threadsync.h       void delayCheckpointsLock();