page_init          42 sys/include/page.h void	 page_init(void);
page_init          72 sys/kern/main.c 	page_init();