static void vm_pagemem_init() { npg_pdpe_t *pdp = info->vm.cpu.pg[0].pdp[0]; npg_init(); npg_set_entry(&info->vm.cpu.pg[0].pml4[0], npg_dft_attr, page_nr(pdp)); }
static void vm_pagemem_init() { vm_pgmem_t *npg = npg_get_default_paging(); npg->asid = 1; npg_set_active_paging(npg); npg_init(); }