HelenOS sources

page_init          57 kernel/generic/include/mm/page.h extern void page_init(void);
page_init         222 kernel/generic/src/main/main.c 	page_init();
page_init         322 kernel/generic/src/main/main.c 	page_init();