proc_destroy       89 kern/include/proc.h void proc_destroy(struct proc *proc);
proc_destroy      151 kern/startup/menu.c 		proc_destroy(proc);
proc_destroy       44 kern/syscall/proc_syscalls.c   proc_destroy(p);