page.h (101B)
1 #ifndef _KERNEL_PAGE_H_ 2 #define _KERNEL_PAGE_H_ 3 4 void page_init(void); 5 6 #endif /* _KERNEL_PAGE_H_ */