static void vm_pagemem_init() { vm_pgmem_t *npg = npg_get_default_paging(); npg->asid = 1; npg_set_active_paging(npg); npg_init(); }
void vm_setup_npg(int who) { npg_set_active_paging(who); npg_set_active_paging_cpu(); }