/* * Free a process id - called from proc_free (in kern_exit.c) * * Called with the proc_lock held. */