vm_det Kernel Service

Purpose

Unmaps and deallocates the region in the current address space that contains a given address.

Syntax

#include <sys/types.h>
#include <sys/errno.h>
#include <sys/vmuser.h>

void vm_det ( eaddr)
caddr_t  eaddr;

Parameter

Item Description
eaddr Specifies the effective address in the current address space. The region containing this address is to be unmapped and deallocated.

Description

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.

Execution Environment

The vm_det kernel service can be called from either the process or interrupt environment.