callbackPostCheckpoint   33 mtcpinterface.h   void callbackPostCheckpoint(int isRestart, char* mtcpRestoreArgvStartAddr);
callbackPostCheckpoint  408 threadlist.cpp     callbackPostCheckpoint(0, NULL);
callbackPostCheckpoint  619 threadlist.cpp     callbackPostCheckpoint(1, NULL); //mtcp_restoreargv_start_addr);