vmem_free
vmem_free(its->its_gic->sc_lpi_pool, lpi - its->its_pic->pic_irqbase, 1);
vmem_free(bootm_arena, va, size);
vmem_free(iomap_arena, addr, mips_round_page(size));
vmem_free(extio_arena, va, size);
vmem_free(extio_arena, kva, size);
vmem_free();
void vmem_free(void);
vmem_free();
vmem_free(iomap_arena, addr, size * VAX_NBPG);
vmem_free(sc->vme_arena, first, maplen);
vmem_free(sc->vme_arena, r->firstpage, r->maplen);
vmem_free(r->arena, result, 1);
vmem_free(seq_arena, seq, 1);
vmem_free(percpu_offset_arena, (vmem_addr_t)percpu_offset(pc), size);
vmem_free(kmem_meta_arena, (vmem_addr_t)v, pp->pr_alloc->pa_pagesz);
vmem_free(vm, r->p, r->sz);
vmem_free(kmem_meta_arena, (vmem_addr_t)v, pp->pr_alloc->pa_pagesz);
vmem_free(vm, (vmem_addr_t)addr, pool->pr_alloc->pa_pagesz);
0, 0, PAGE_SIZE, vmem_alloc, vmem_free, vm,
vmem_alloc, vmem_free, kmem_arena,
void vmem_free(vmem_t *, vmem_addr_t, vmem_size_t);
0, 0, PAGE_SIZE, vmem_alloc, vmem_free, kmem_arena,
vmem_free(vm, va, size);
vmem_free(vm, addr, size);
vmem_free(swapmap, sdp->swd_drumoffset, sdp->swd_drumsize);