lcr3              152 vm.c             lcr3(V2P(kpgdir));   // switch to the kernel page table
lcr3              176 vm.c             lcr3(V2P(p->pgdir));  // switch to process's address space