VMEM_VBASE
pmap_link_l2pt(l1pagetable, VMEM_VBASE,
pmap_map_chunk(l1pagetable, VMEM_VBASE, videomemory.vidm_pbase,
pmap_map_chunk(l1pagetable, VMEM_VBASE + videomemory.vidm_size,
videomemory.vidm_vbase = VMEM_VBASE;
videomemory.vidm_vbase = VMEM_VBASE;
bootconfig.display_start = VMEM_VBASE;
pmap_link_l2pt(l1pagetable, VMEM_VBASE,
pmap_map_chunk(l1pagetable, VMEM_VBASE, videomemory.vidm_pbase,
pmap_map_chunk(l1pagetable, VMEM_VBASE + videomemory.vidm_size,
videomemory.vidm_vbase = VMEM_VBASE;
videomemory.vidm_vbase = VMEM_VBASE;
bootconfig.display_start = VMEM_VBASE;