pmap_unmapdev
pmap_unmapdev((vm_offset_t)bios, VGA_PCI_BIOS_SHADOW_SIZE);
pmap_unmapdev((vm_offset_t)track->base, track->size);
pmap_unmapdev((vm_offset_t)track->base, track->size);
pmap_unmapdev(ptr, HPET_MEM_WIDTH);
pmap_unmapdev((vm_offset_t) map->handle, map->size);
pmap_unmapdev((vm_offset_t)imp->pmap_addr, imp->npages * PAGE_SIZE);
pmap_unmapdev((vm_offset_t)bios, 256 * 1024);
pmap_unmapdev((vm_offset_t)bios, 256 * 1024);
pmap_unmapdev((vm_offset_t)bios, 256 * 1024);
pmap_unmapdev((vm_offset_t)sc->sc_mch, MCH_CORE_SIZE);
#define pmap_unmapbios pmap_unmapdev
pmap_unmapdev((vm_offset_t)va, PAGE_SIZE);
pmap_unmapdev((vm_offset_t)va, PAGE_SIZE);
pmap_unmapdev((vm_offset_t)va, PAGE_SIZE);
pmap_unmapdev((vm_offset_t)ptr, mapsz);
pmap_unmapdev((vm_offset_t)ptr, mapsz);
pmap_unmapdev((vm_offset_t)sdth, sizeof(*sdth));
pmap_unmapdev((vm_offset_t)sdth, sdth->Length);
pmap_unmapdev((vm_offset_t)ptr, mapsz);
void pmap_unmapdev (vm_offset_t, vm_size_t);
pmap_unmapdev(bsh, size);
pmap_unmapdev((vm_offset_t)addr, map_size);
pmap_unmapdev((vm_offset_t)cth, sizeof(*cth));
pmap_unmapdev((vm_offset_t)fps, sizeof(*fps));
pmap_unmapdev((vm_offset_t)mpt->mp_cth, mpt->mp_cth_mapsz);
pmap_unmapdev((vm_offset_t)mpt->mp_fps, sizeof(*mpt->mp_fps));
pmap_unmapdev((vm_offset_t)rman_get_virtual(r), psize);
void pmap_unmapdev (vm_offset_t, vm_size_t);