dmtcp_get_coordinator_status  222 plugin/svipc/dmtcp-test.h EXTERNC int dmtcp_get_coordinator_status(int *numPeers, int *isRunning)
dmtcp_get_coordinator_status  225 plugin/svipc/dmtcp-test.h   (dmtcp_get_coordinator_status ? dmtcp_get_coordinator_status(p,r) \