ompi_cr_coord_pre_restart   82 ompi/runtime/ompi_cr.c static int ompi_cr_coord_pre_restart(void);
ompi_cr_coord_pre_restart  278 ompi/runtime/ompi_cr.c         ompi_cr_coord_pre_restart();