kernel/vm.c
void
kvminithart()
{
  w_satp(MAKE_SATP(kernel_pagetable));
  // reg_info();
  sfence_vma();
  #ifdef DEBUG
  printf("kvminithart\n");
  #endif
}
// Switch h/w page table register to the kernel's page table,
// and enable paging.
Switch h/w page table register to the kernel's page table,
and enable paging.
Switch h / w page table register to the kernel ' s page table and enable paging .
void
kvminithart()
{
  w_satp(MAKE_SATP(kernel_pagetable));
  sfence_vma();
  #ifdef DEBUG
  printf("kvminithart\n");
  #endif
}
void kvminithart ( ) { w_satp ( MAKE_SATP ( kernel_pagetable ) ) ; sfence_vma ( ) ; #ifdef DEBUG printf ( " \n " ) ; #endif }
Switch h/w page table register to the kernel's page table,
and enable paging.
Switch h / w page table register to the kernel ' s page table and enable paging .
// reg_info();