NAME
vm_flush - Flushes mappings from virtual to physical memory.
SYNOPSIS
#include <charm.h>
Status vm_flush( int pfn, Cap managecap, int flags );
PARAMETERS
pfn Specifies the page frame number which is to be flushed from virtual address space(s).
managecap Specifies the physical page management capability for pfn.
flags Specifies from which address spaces the mappings to pfn should be flushed.
DESCRIPTION
This function flushes virtual to physical mappings from address spaces. The address spaces that may be specified are the callers’ address space, other address spaces or all address spaces. These are specified using flags.
Legal flags for the flags field are defined in Constants.h as:
VM_FLUSH_ME set if the mapping should be flushed from the callers virtual address space.
VM_FLUSH_OTHERS set if the mapping should be flushed from other virtual address spaces.
One or both of these flags must be set.
RETURN VALUES
Upon the successful completion, the vm_flush() function returns [SUCCESS].
ERRORS
[PFN_INVALID] The page frame specified by pfn is invalid.
[PA_INVALID_MANAGE_CAP] The capability specified by managecap is invalid.
[INVALID_FLAGS] The flags specified are invalid.
RELATED INFORMATION
pm_change_caps(),vm_bind_l1(), vm_bind_l2().