dmtcp_get_ckpt_filename  187 plugin/svipc/dmtcp-test.h EXTERNC const char* dmtcp_get_ckpt_filename(void) __attribute__((weak));
dmtcp_get_ckpt_filename  356 plugin/svipc/dmtcp-test.h   (dmtcp_get_ckpt_filename ? dmtcp_get_ckpt_filename() : NULL)