Unmaps and deallocates a region in the current user address space that was mapped with the as_att64 kernel service.
#include <sys/errno.h>
#include <sys/adspace.h>
int as_det64 (addr64)
unsigned long long addr64;
| addr64 | Specifies an effective address within the region to be deallocated. |
The as_det64 kernel service unmaps the virtual memory object from the region containing the specified effective address (specified by the addr64 parameter).
The as_det64 kernel service assumes an address space model of fixed-size virtual memory objects.
This service should not be used to deallocate a base kernel region, process text, process private or an unallocated region. An EINVAL return code will result.
This service will operate correctly for both 32-bit and 64-bit user address spaces. It will also work for kernel processes (kprocs).
The as_det64 kernel service can be called from the process environment only.
| 0 | The region was successfully unmapped and deallocated. |
| EINVAL | An attempt was made to deallocate a region that should not have been deallocated (that is, a base kernel region, process text region, process private region, or unallocated region). |
| EINVAL | Input address out of range. |
The as_att64 kernel service, as_seth64 kernel service, as_geth64 kernel service, as_getsrval64 kernel service, as_puth64 kernel service.