orte_cr_coord_pre_restart   71 orte/runtime/orte_cr.c static int orte_cr_coord_pre_restart(void);
orte_cr_coord_pre_restart  190 orte/runtime/orte_cr.c         orte_cr_coord_pre_restart();