DmtcpMessageType   91 dmtcp_coordinator.h       void broadcastMessage(DmtcpMessageType type, int numPeers = -1);
DmtcpMessageType   89 dmtcpmessagetypes.h   ostream& operator << (ostream& o, const DmtcpMessageType& s);
DmtcpMessageType  141 dmtcpmessagetypes.h     DmtcpMessageType type;
DmtcpMessageType  168 dmtcpmessagetypes.h     DmtcpMessage ( DmtcpMessageType t = DMT_NULL );
DmtcpMessageType   44 dmtcpworker.h                                          DmtcpMessageType type);