recvMsgFromCoordinator   85 coordinatorapi.h       void recvMsgFromCoordinator(DmtcpMessage *msg,
recvMsgFromCoordinator  469 dmtcpworker.cpp   CoordinatorAPI::instance().recvMsgFromCoordinator(&msg);