Searched refs:KILL_LEADER (Results 1 – 5 of 5) sorted by relevance
29 KILL_LEADER, enumerator
576 if (who == KILL_LEADER) /* If we shall simply kill the leader, do so directly */ in machine_kill()894 [KILL_LEADER] = "leader",
44 KILL_LEADER, enumerator
1445 [KILL_LEADER] = "leader",
4135 "ssi", unit, who == KILL_LEADER ? "main" : "all", signo); in manager_kill_unit()