restart            53 coordinatorapi.cpp       CoordinatorAPI::restart();
restart            55 coordinatorapi.h       static void restart();
restart           698 dmtcp_coordinator.cpp     JTIMER_STOP ( restart );
restart           734 dmtcp_coordinator.cpp     JTIMER_STOP ( restart );
restart          1139 dmtcp_coordinator.cpp     JTIMER_START(restart);
restart            82 processinfo.cpp       ProcessInfo::instance().restart();
restart            54 processinfo.h        void restart();
restart            76 uniquepid.h        static void restart();