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