Unmaps and deallocates a region in the current user address space that was mapped with the as_att64 kernel service.
| 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).
Note: This service only operates on the current process's address space. It is not allowed to operate on another address space.
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_det64 kernel service is part of Base Operating System (BOS) Runtime.
The as_att64 kernel service, as_seth64 kernel service, as_geth64 kernel service, as_getsrval64 kernel service, as_puth64 kernel service.