HelenOS sources

as_deinstall_arch  364 kernel/generic/include/mm/as.h #ifndef as_deinstall_arch
as_deinstall_arch  365 kernel/generic/include/mm/as.h extern void as_deinstall_arch(as_t *);
as_deinstall_arch 1665 kernel/generic/src/mm/as.c 		as_deinstall_arch(old_as);