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();