Esempio n. 1
0
static void vm_pagemem_init()
{
   vm_pgmem_t *npg = npg_get_default_paging();

   npg->asid = 1;
   npg_set_active_paging(npg);
   npg_init();
}
Esempio n. 2
0
void vm_setup_npg(int who)
{
   npg_set_active_paging(who);
   npg_set_active_paging_cpu();
}