kvminithart       156 kernel/defs.h  void            kvminithart(void);
kvminithart        21 kernel/main.c      kvminithart();      // turn on paging
kvminithart        39 kernel/main.c      kvminithart();  // turn on paging