as_deactivate      99 kern/include/addrspace.h void              as_deactivate(void);
as_deactivate     154 kern/proc/proc.c 		as_deactivate();
as_deactivate      27 kern/syscall/proc_syscalls.c   as_deactivate();