HelenOS sources

as_install_arch   360 kernel/generic/include/mm/as.h #ifndef as_install_arch
as_install_arch   361 kernel/generic/include/mm/as.h extern void as_install_arch(as_t *);
as_install_arch  1686 kernel/generic/src/mm/as.c 	as_install_arch(new_as);
HelenOS homepage, sources at GitHub