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