kpgdir             11 main.c         extern pde_t *kpgdir;
kpgdir             11 vm.c           pde_t *kpgdir;  // for use in scheduler()
kpgdir            143 vm.c             kpgdir = setupkvm();
kpgdir            152 vm.c             lcr3(V2P(kpgdir));   // switch to the kernel page table