NAME_SERVICE_DATA_REGISTERED  705 dmtcp_coordinator.cpp        && newState == WorkerState::NAME_SERVICE_DATA_REGISTERED ){
NAME_SERVICE_DATA_REGISTERED  709 dmtcp_coordinator.cpp   if ( oldState == WorkerState::NAME_SERVICE_DATA_REGISTERED
NAME_SERVICE_DATA_REGISTERED  107 dmtcpmessagetypes.cpp       OSHIFTPRINTF ( NAME_SERVICE_DATA_REGISTERED)
NAME_SERVICE_DATA_REGISTERED  126 dmtcpmessagetypes.cpp   case NAME_SERVICE_DATA_REGISTERED: return "NAME_SERVICE_DATA_REGISTERED";
NAME_SERVICE_DATA_REGISTERED  109 dmtcpmessagetypes.h         NAME_SERVICE_DATA_REGISTERED,
NAME_SERVICE_DATA_REGISTERED  570 dmtcpworker.cpp   WorkerState::setCurrentState(WorkerState::NAME_SERVICE_DATA_REGISTERED);