kinit              65 kernel/defs.h  void            kinit(void);
kinit              19 kernel/main.c      kinit();         // physical page allocator