ompi_cr_coord_post_restart 86 ompi/runtime/ompi_cr.c static int ompi_cr_coord_post_restart(void); ompi_cr_coord_post_restart 322 ompi/runtime/ompi_cr.c ompi_cr_coord_post_restart();