void
vmem_xfree(
vmem_t *vm
, vmem_addr_t addr
, vmem_size_t size
)
)
frees resource allocated by
vmem_xalloc
to the arena.
vm
addr
).
Notably, it must not be the one from
vmem_alloc(
).
Otherwise, the behaviour is undefined.
size
size
argument used for
vmem_xalloc(
).