num_killed         69 orte/runtime/orte_quit.c static int num_killed = 0;
num_killed        123 orte/runtime/orte_quit.c             if (num_killed > 1) {
num_killed        128 orte/runtime/orte_quit.c                         num_killed, ((num_killed > 1) ? "es" : ""), orte_basename);
num_killed        373 orte/runtime/orte_quit.c                     ++num_killed;
num_killed        375 orte/runtime/orte_quit.c                     ++num_killed;