pmap_mapdev
map = pmap_mapdev((vm_offset_t)Where, Length);
ptr = (vm_offset_t)pmap_mapdev(acpi_hpet_res_start, HPET_MEM_WIDTH);
bios = pmap_mapdev(rom_addr, 256 * 1024);
#define pmap_mapbios pmap_mapdev
va = pmap_mapdev(trunc_page((vm_paddr_t)off), PAGE_SIZE);
sdth = pmap_mapdev(paddr, sizeof(*sdth));
return pmap_mapdev(paddr, mapsz);
ptr = pmap_mapdev(rsdp_paddr, mapsz);
ptr = pmap_mapdev(ebda_addr, mapsz);
ptr = pmap_mapdev(ACPI_HI_RSDP_WINDOW_BASE, mapsz);
void *pmap_mapdev (vm_paddr_t, vm_size_t);
*bshp = (uintptr_t)pmap_mapdev(addr, size);
addr = pmap_mapdev((vm_paddr_t)target, map_size);
fps = pmap_mapdev(mptable_fps_phyaddr, sizeof(*fps));
cth = pmap_mapdev(fps->pap, sizeof(*cth));
cth = pmap_mapdev(fps->pap, cth_mapsz);
vaddr = (caddr_t) pmap_mapdev(paddr-poffs, psize+poffs) + poffs;
void *pmap_mapdev (vm_paddr_t, vm_size_t);