as_det64 Kernel Service


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).

Note: This service only operates on the current process's address space. It is not allowed to operate on another address space.

Execution Environment

The as_det64 kernel service can be called from the process environment only.

Return Values

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.

Implementation Specifics

The as_det64 kernel service is part of Base Operating System (BOS) Runtime.

Related Information

The as_att64 kernel service, as_seth64 kernel service, as_geth64 kernel service, as_getsrval64 kernel service, as_puth64 kernel service.