lcr3              160 vm.c             lcr3(v2p(kpgdir));   // switch to the kernel page table
lcr3              175 vm.c             lcr3(v2p(p->pgdir));  // switch to new address space