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