HelenOS sources

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