_virtualPidToClientMap  515 dmtcp_coordinator.cpp   JASSERT(_virtualPidToClientMap.size() < MAX_VIRTUAL_PID/1000)
_virtualPidToClientMap  523 dmtcp_coordinator.cpp     if (_virtualPidToClientMap.find(pid) == _virtualPidToClientMap.end()) {
_virtualPidToClientMap  915 dmtcp_coordinator.cpp   _virtualPidToClientMap.erase(client->virtualPid());
_virtualPidToClientMap 1061 dmtcp_coordinator.cpp     _virtualPidToClientMap[client->virtualPid()] = client;
_virtualPidToClientMap 1072 dmtcp_coordinator.cpp     _virtualPidToClientMap[client->virtualPid()] = client;
_virtualPidToClientMap  119 dmtcp_coordinator.h       map< pid_t, CoordClient* > _virtualPidToClientMap;