as_det64 Kernel Service

Purpose

Unmaps and deallocates a region in the current user address space that was mapped with the as_att64 kernel service.

Syntax

#include <sys/errno.h> #include <sys/adspace.h> int as_det64 (addr64) unsigned long long addr64;

Parameters

Item Description
addr64 Specifies an effective address within the region to be deallocated.

Description

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

Item Description
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.