ofw_map
vaddr_t ofw_map(vaddr_t, vsize_t, int);
if (ofw_map(va, pa, size) == -1) {
chipsfb_mem_vaddr = ofw_map(chipsfb_mem_paddr, 0x00200000, L2_B);
chipsfb_mmio_vaddr = ofw_map(chipsfb_mem_paddr + CT_OFF_BITBLT,
igsfb_mem_vaddr = ofw_map(igsfb_mem_paddr, 0x00400000, L2_B);
igsfb_mmio_vaddr = ofw_map(igsfb_mem_paddr + IGS_MEM_MMIO_SELECT,
isa_mem_virtaddr = ofw_map(isa_mem_physaddr, L1_S_SIZE, 0);
isa_io_virtaddr = ofw_map(isa_io_physaddr, L1_S_SIZE, 0);
vlpci_mem_vaddr = ofw_map(0x02000000, 0x00100000, 0);
sa1_cache_clean_addr = ofw_map(pclean, 0x4000 * 2,