HelenOS sources

as_destructor_arch  352 kernel/generic/include/mm/as.h #ifndef as_destructor_arch
as_destructor_arch  353 kernel/generic/include/mm/as.h extern int as_destructor_arch(as_t *);
as_destructor_arch  141 kernel/generic/src/mm/as.c 	return as_destructor_arch((as_t *) obj);