vmem_free
vmem_free(kernel_arena, vaddr[i], PAGE_SIZE);
vmem_free(large_vmem, sva, len);
vmem_free(kernel_arena, vaddr, PAGE_SIZE);
vmem_free(sc->vmem_epc, addr, PAGE_SIZE);
vmem_free(sc->irq_alloc, irq_base, count);
vmem_free(sc->irq_alloc, pos, count);
vmem_free(kernel_arena, bo->vbase, size);
vmem_free(sc->sc_irq_alloc, its_dev->lpis.lpi_base, nvecs);
vmem_free(sc->sc_irq_alloc, its_dev->lpis.lpi_base,
vmem_free(sc->vmem, mem->paddr, mem->size);
vmem_free(sc->key_map, keyid, TLS_KEY_CONTEXT_SZ);
vmem_free(sc->stag_arena, stag_idx, size);
vmem_free(pr->pr_arena, addr, PPOD_SZ(prsv->prsv_nppods));
vmem_free(xio->vmem, va, PAGE_SIZE);
vmem_free(xchan->vmem, xr->buf.paddr, size);
vmem_free(pmap_trm_arena, (uintptr_t)addr, roundup2(size, 4));
vmem_free(buffer_arena, (vm_offset_t)bp->b_kvabase, bp->b_kvasize);
vmem_free(transient_arena, start, end - start);
vmem_free(asid_arena, pmap->pm_pid, 1);
vmem_free(async_token_pool, token, 1);
vmem_free(sc->srp_iu_arena, xp->srp_iu_offset,
void vmem_free(vmem_t *vm, vmem_addr_t addr, vmem_size_t size);
vmem_free(arena, addr, size);
vmem_free(vmem, addr, asize);
vmem_free(vmem, addr, asize);
vmem_free(arena, addr, asize);
vmem_free(arena, (uintptr_t)addr, size);
vmem_free(unit->irtids, cookie, 1);