uvm_deallocate
uvm_deallocate(p->p_vmspace->vm_map, (vm_offset_t)addr, PAGE_SIZE);
uvm_deallocate(kernel_map, pcmcia_base,
uvm_deallocate(p->p_vmspace->vm_map, (vaddr_t)addr, PAGE_SIZE);
uvm_deallocate(kernel_map, (vaddr_t)vcpu->comm, PAGE_SIZE);
uvm_deallocate(&vm->vm_map, VM_MIN_ADDRESS,
uvm_deallocate(kernel_map, (vaddr_t)kd->buf, kd->bufsize);
uvm_deallocate(kernel_map, (vaddr_t)kd->buf, size);
uvm_deallocate(&p->p_vmspace->vm_map, shmmap_se->va, size);
uvm_deallocate(&vm->vm_map, shmmap_se->va, sz);
uvm_deallocate(kernel_map, (vaddr_t)fo->buf, fo->bufsize);
void uvm_deallocate(struct vm_map *, vaddr_t, vsize_t);
uvm_deallocate(&vm->vm_map, nbreak, obreak - nbreak);