Unmaps and deallocates the region in the current address space that contains a given address.
#include <sys/types.h>
#include <sys/errno.h>
#include <sys/vmuser.h>
void vm_det ( eaddr)
caddr_t eaddr;
Item | Description |
---|---|
eaddr | Specifies the effective address in the current address space. The region containing this address is to be unmapped and deallocated. |
The vm_det kernel service unmaps the region containing the eaddr parameter and deallocates the region, adding it to the free list for the current address space.
The vm_det kernel service assumes an address space model of fixed-size virtual memory objects and address space regions.
Attention: If the region is not mapped, or a system region is referenced, the system will halt.