pub fn kill_group_of(leader: u32)Expand description
Kills the process group led by the process leader. Its id names that
group while the leader is not reaped or any member lives: the kernel
does not reuse the id of a process group that exists. Once the leader
was reaped and the group emptied, the id is free again, so callers kill
within moments of the reap.