dmtcp_plugin_disable_ckpt  309 plugin/svipc/dmtcp-test.h EXTERNC int dmtcp_plugin_disable_ckpt(void);
dmtcp_plugin_disable_ckpt  311 plugin/svipc/dmtcp-test.h   int __dmtcp_plugin_ckpt_disabled = dmtcp_plugin_disable_ckpt()