NAME | SYNOPSIS | FEATURES | DESCRIPTION | RETURN VALUE | ERRORS | RESTRICTIONS | ATTRIBUTES
#include <mem/chMem.h>int vmFree(KnCap *actorcap, VmAddr address, VmSize size);
MEM_VIRTUAL
The vmFree function frees memory in an actor address space from address to address + size -1. The actor is specified by its capability actorcap. On--demand physical memory corresponding to the specified address space range is deallocated without region destruction. The address and size fields must be page-aligned.
If successful, K_OK is returned, otherwise a negative error code is returned.
Some of the arguments provided are outside the caller's address space.
An inconsistent actor capability was provided.
actorcap does not specify a reachable actor.
Some or all the addresses from the target address range are invalid .
address isn't page aligned.
size isn't page-aligned.
Tried to free no--demand (mapped to a region with the K_NODEMAND attribute) physical memory.
The target actor and the current actor must be located on the same site.
See attributes(5) for descriptions of the following attributes:
ATTRIBUTE TYPE | ATTRIBUTE VALUE |
---|---|
Interface Stability | Evolving |
NAME | SYNOPSIS | FEATURES | DESCRIPTION | RETURN VALUE | ERRORS | RESTRICTIONS | ATTRIBUTES