vm.c
// Switch h/w page table register to the kernel-only page table,
// for when no process is running.
Switch h/w page table register to the kernel-only page table,
for when no process is running.
Switch h / w page table register to the kernel - only page table for when no process is running .
void
switchkvm(void)
{
  lcr3(v2p(kpgdir));   
}
void switchkvm ( void ) { lcr3 ( v2p ( kpgdir ) ) ; }
Switch h/w page table register to the kernel-only page table,
for when no process is running.
Switch h / w page table register to the kernel - only page table for when no process is running .
// switch to the kernel page table