HelenOS sources

as_init           312 kernel/generic/include/mm/as.h extern void as_init(void);
as_init           221 kernel/generic/src/main/main.c 	as_init();