post_restart       51 mtcp/mtcp_header.h     void (*post_restart) ();
post_restart      100 mtcp/mtcp_restart.c   fnptr_t post_restart;
post_restart      283 mtcp/mtcp_restart.c   rinfo.post_restart = mtcpHdr.post_restart;
post_restart      479 mtcp/mtcp_restart.c               mtcpHdr->post_restart);
post_restart      588 mtcp/mtcp_restart.c           restore_info.post_restart);
post_restart      589 mtcp/mtcp_restart.c   restore_info.post_restart();
post_restart      265 threadlist.cpp   mtcpHdr->post_restart = &ThreadList::postRestart;