curTimeStamp      461 dmtcp_coordinator.cpp static time_t curTimeStamp = -1;
curTimeStamp      888 dmtcp_coordinator.cpp     << "/dmtcpSharedArea." << compId << "." << std::hex << curTimeStamp;
curTimeStamp      951 dmtcp_coordinator.cpp   curTimeStamp = 0; // Drop timestamp to 0
curTimeStamp     1136 dmtcp_coordinator.cpp     curTimeStamp = (tv.tv_sec << 4) | (tv.tv_usec / (100*1000));
curTimeStamp     1138 dmtcp_coordinator.cpp       ( numPeers ) ( curTimeStamp ) ( compId );
curTimeStamp     1160 dmtcp_coordinator.cpp   JASSERT ( curTimeStamp != 0 );
curTimeStamp     1165 dmtcp_coordinator.cpp   hello_local.coordTimeStamp = curTimeStamp;
curTimeStamp     1261 dmtcp_coordinator.cpp       curTimeStamp = (tv.tv_sec << 4) | (tv.tv_usec / (100*1000));
curTimeStamp     1270 dmtcp_coordinator.cpp     hello_local.coordTimeStamp = curTimeStamp;