/* * proc_leavepgrp: remove a process from its process group. * => must be called with the proc_lock held, which will be released; */