DMT_DO_CHECKPOINT  677 dmtcp_coordinator.cpp     broadcastMessage ( DMT_DO_CHECKPOINT );
DMT_DO_CHECKPOINT  170 dmtcpmessagetypes.cpp       OSHIFTPRINTF ( DMT_DO_CHECKPOINT )
DMT_DO_CHECKPOINT   62 dmtcpmessagetypes.h     DMT_DO_CHECKPOINT,       // when coordinator wants slave to checkpoint
DMT_DO_CHECKPOINT  548 dmtcpworker.cpp   waitForCoordinatorMsg ("CHECKPOINT", DMT_DO_CHECKPOINT);