dmtcp_plugin_enable_ckpt  313 plugin/svipc/dmtcp-test.h EXTERNC void dmtcp_plugin_enable_ckpt(void);
dmtcp_plugin_enable_ckpt  315 plugin/svipc/dmtcp-test.h   if (__dmtcp_plugin_ckpt_disabled) dmtcp_plugin_enable_ckpt()