pmap_unmapdev
pmap_unmapdev(p, PAGE_SIZE);
#define pmap_unmapbios(va, sz) pmap_unmapdev((va), (sz))
void pmap_unmapdev(void *, vm_size_t);
pmap_unmapdev((void *)h, size);
pmap_unmapdev(map->r_vaddr, map->r_size);
pmap_unmapdev((void *)sc->info.fb_vbase, sc->info.fb_size);
pmap_unmapdev((void *)sc->info.fb_vbase, sc->info.fb_size);
pmap_unmapdev(ocotp_regs, ocotp_size);
pmap_unmapdev(pcr, 4);
pmap_unmapdev((void *)(uintptr_t)psr, sizeof(*psr));
void pmap_unmapdev(void *, vm_size_t);
pmap_unmapdev(dst, PAGE_SIZE);
pmap_unmapdev((void *)bsh, size);
pmap_unmapdev(release_addr, sizeof(*release_addr));
pmap_unmapdev(release_vaddr, size);
pmap_unmapdev(map->r_vaddr, map->r_size);
void pmap_unmapdev(void *, vm_size_t);
pmap_unmapdev(addr, vmmap->vm_size);
pmap_unmapdev(x86bios_rom, X86BIOS_ROM_SIZE);
pmap_unmapdev(LogicalAddress, Width / 8);
pmap_unmapdev(LogicalAddress, Width / 8);
pmap_unmapdev(ge->buf, ge->v1.ErrorBlockLength);
pmap_unmapdev(sc->sc_sram_base_va, sc->sc_sram_size);
pmap_unmapdev(sc->sc_sram_base_va, sc->sc_sram_size);
pmap_unmapdev(map->handle, map->size);
pmap_unmapdev(virtual, mem->bus.size);
pmap_unmapdev(dst, PAGE_SIZE);
pmap_unmapdev(src, PAGE_SIZE);
pmap_unmapdev(map->virtual, map->size);
pmap_unmapdev((void *)adp->va_buffer,
pmap_unmapdev((void *)adp->va_buffer, vesa_vmem_max);
pmap_unmapdev(test->raw_vtarget, test->buffer_size);
pmap_unmapdev(va, PAGE_SIZE);
pmap_unmapdev(va, PAGE_SIZE);
pmap_unmapdev(va, PAGE_SIZE);
pmap_unmapdev(bios, VGA_PCI_BIOS_SHADOW_SIZE);
pmap_unmapdev(sc->sc_bank0, NVRAM_SIZE * 2);
pmap_unmapdev(sc->sc_bank0, NVRAM_SIZE * 2);
pmap_unmapdev((void *)info->fb_vbase, info->fb_size);
pmap_unmapdev((void *)sc->fb_vbase, sc->fb_size);
pmap_unmapdev((void *)info->fb_vbase, info->fb_size);
pmap_unmapdev(virt_addr, size);
#define pmap_unmapbios(va, sz) pmap_unmapdev((va), (sz))
void pmap_unmapdev(void *, vm_size_t);
void pmap_unmapdev(void *, vm_size_t);
pmap_unmapdev((void *)sc->sc_range[r].kva,
pmap_unmapdev(map->r_vaddr, map->r_size);
pmap_unmapdev(map->r_vaddr, map->r_size);
pmap_unmapdev((void *)bsh, size);
pmap_unmapdev(map->r_vaddr, map->r_size);
pmap_unmapdev(map->r_vaddr, map->r_size);
pmap_unmapdev(map->r_vaddr, map->r_size);
void pmap_unmapdev(void *, vm_size_t);
pmap_unmapdev((void *)bsh, size);
pmap_unmapdev(map->r_vaddr, map->r_size);
pmap_unmapdev((void *)bsh, size);
pmap_unmapdev(apic, IOAPIC_MEM_REGION);
pmap_unmapdev(map->r_vaddr, map->r_size);