NAME

vmem_xfree - free resource to arena

SYNOPSIS



void vmem_xfree(vmem_t *vm, vmem_addr_t addr, vmem_size_t size)

DESCRIPTION

vmem_xfree() frees resource allocated by vmem_xalloc to the arena.

vm
The arena which we free to.

addr
The resource being freed. It must be the one returned by vmem_xalloc(). Notably, it must not be the one from vmem_alloc(). Otherwise, the behaviour is undefined.

size
The size of the resource being freed. It must be the same as the size argument used for vmem_xalloc().

SEE ALSO

intro(9), vmem(9)