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