resetCkptTimer    452 dmtcp_coordinator.cpp static void resetCkptTimer();
resetCkptTimer    749 dmtcp_coordinator.cpp     resetCkptTimer();
resetCkptTimer   1659 dmtcp_coordinator.cpp     resetCkptTimer();