uvm_unmap
uvm_unmap(kernel_map, addr, addr + s);
uvm_unmap(&p->p_vmspace->vm_map, (vaddr_t)addr, (vaddr_t)addr + size);
uvm_unmap(kernel_map, (vaddr_t)kva, (vaddr_t)kva + size);
(void)uvm_unmap(kernel_map, sva, va);
(void)uvm_unmap(kernel_map, va + size, sva + oversize);
uvm_unmap(kernel_map, dva, dva + len);
uvm_unmap(kernel_map, sva, va);
uvm_unmap(kernel_map, va + size, sva + oversize);
uvm_unmap(kernel_map, (vaddr_t)kva, (vaddr_t)kva + size);
uvm_unmap(kernel_map, dva, dva + len);
uvm_unmap(kernel_map, (vaddr_t)kva, (vaddr_t)kva + size);
uvm_unmap(&p->p_vmspace->vm_map, (vaddr_t)addr,
uvm_unmap(kernel_map, vstart, vstart + vsize);
uvm_unmap(kernel_map, vstart, vstart + vsize);
uvm_unmap(&vmspace->vm_map, hmapping->hva,
uvm_unmap(&mach->vm->vm_map, gpa, gpa + args->size);
uvm_unmap(kernel_map, va, va + round_page(sz));
uvm_unmap(kernel_map, lcp->lcp_kaddr,
uvm_unmap(kernel_map, lcp->lcp_kaddr,
uvm_unmap(&p->p_vmspace->vm_map, lp->lp_uva,
uvm_unmap(dstmap, dstaddr, dstaddr+len); /* ??? */
uvm_unmap(map, *addr, *addr + size);
uvm_unmap(map, *addr, *addr + size);
uvm_unmap(oldmap, oldva + newsize, oldva + oldsize);
uvm_unmap(newmap, newva, newva + newsize);
uvm_unmap(newmap, newva + oldsize,
uvm_unmap(newmap, newva, newva + newsize);
uvm_unmap(oldmap, oldva, oldva + oldsize);
uvm_unmap(map, trunc_page(start), round_page(start + size));