COORD_NAMESERVICE  680 dmtcp_coordinator.cpp #ifdef COORD_NAMESERVICE
COORD_NAMESERVICE  827 dmtcp_coordinator.cpp #ifdef COORD_NAMESERVICE
COORD_NAMESERVICE  978 dmtcp_coordinator.cpp #ifdef COORD_NAMESERVICE
COORD_NAMESERVICE  171 dmtcpmessagetypes.cpp #ifdef COORD_NAMESERVICE
COORD_NAMESERVICE  179 dmtcpmessagetypes.cpp #ifdef COORD_NAMESERVICE
COORD_NAMESERVICE   63 dmtcpmessagetypes.h #ifdef COORD_NAMESERVICE
COORD_NAMESERVICE  108 dmtcpmessagetypes.h #ifdef COORD_NAMESERVICE
COORD_NAMESERVICE  564 dmtcpworker.cpp #ifdef COORD_NAMESERVICE