__dmtcp_plugin_ckpt_disabled  311 plugin/svipc/dmtcp-test.h   int __dmtcp_plugin_ckpt_disabled = dmtcp_plugin_disable_ckpt()
__dmtcp_plugin_ckpt_disabled  315 plugin/svipc/dmtcp-test.h   if (__dmtcp_plugin_ckpt_disabled) dmtcp_plugin_enable_ckpt()