HelenOS sources

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