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