as_destroy        373 kern/arch/mips/vm/dumbvm.c 		as_destroy(new);
as_destroy        100 kern/include/addrspace.h void              as_destroy(struct addrspace *);
as_destroy        156 kern/proc/proc.c 		as_destroy(as);
as_destroy         36 kern/syscall/proc_syscalls.c   as_destroy(as);