kvminit           155 kernel/defs.h  void            kvminit(void);
kvminit            20 kernel/main.c      kvminit();          // create kernel page table