restart_fast_path  119 mtcp/mtcp_restart.c static void restart_fast_path(void);
restart_fast_path  297 mtcp/mtcp_restart.c     restart_fast_path();