numCheckpoints     45 dmtcpplugin.cpp static int numCheckpoints = 0;
numCheckpoints    110 dmtcpplugin.cpp   int oldNumCheckpoints = numCheckpoints;
numCheckpoints    115 dmtcpplugin.cpp     while(oldNumRestarts==numRestarts && oldNumCheckpoints==numCheckpoints){
numCheckpoints    142 dmtcpplugin.cpp   *nCheckpoints = numCheckpoints;
numCheckpoints    237 plugin/svipc/dmtcp-test.h EXTERNC int dmtcp_get_local_status(int *numCheckpoints, int *numRestarts)