L4Re - L4 Runtime Environment
rm.h File Reference

Region map interface, C interface. More...

#include <l4/re/env.h>
#include <l4/re/c/dataspace.h>
+ Include dependency graph for rm.h:

Go to the source code of this file.

Enumerations

enum  l4re_rm_flags_t {
  L4RE_RM_READ_ONLY = 0x01, L4RE_RM_NO_ALIAS = 0x02, L4RE_RM_PAGER = 0x04, L4RE_RM_RESERVED = 0x08,
  L4RE_RM_REGION_FLAGS = 0x0f, L4RE_RM_OVERMAP = 0x10, L4RE_RM_SEARCH_ADDR = 0x20, L4RE_RM_IN_AREA = 0x40,
  L4RE_RM_EAGER_MAP = 0x80, L4RE_RM_ATTACH_FLAGS = 0xf0
}
 Flags for region operations. More...
 

Functions

int l4re_rm_reserve_area (l4_addr_t *start, unsigned long size, unsigned flags, unsigned char align) L4_NOTHROW
 
int l4re_rm_free_area (l4_addr_t addr) L4_NOTHROW
 
int l4re_rm_attach (void **start, unsigned long size, unsigned long flags, l4re_ds_t const mem, l4_addr_t offs, unsigned char align) L4_NOTHROW
 
int l4re_rm_detach (void *addr) L4_NOTHROW
 Detach and unmap in current task. More...
 
int l4re_rm_detach_ds (void *addr, l4re_ds_t *ds) L4_NOTHROW
 Detach, unmap and return affected dataspace in current task. More...
 
int l4re_rm_detach_unmap (l4_addr_t addr, l4_cap_idx_t task) L4_NOTHROW
 Detach and unmap in specified task. More...
 
int l4re_rm_detach_ds_unmap (void *addr, l4re_ds_t *ds, l4_cap_idx_t task) L4_NOTHROW
 Detach and unmap in specified task. More...
 
int l4re_rm_find (l4_addr_t *addr, unsigned long *size, l4_addr_t *offset, unsigned *flags, l4re_ds_t *m) L4_NOTHROW
 
void l4re_rm_show_lists (void) L4_NOTHROW
 Dump region map internal data structures. More...
 
int l4re_rm_reserve_area_srv (l4_cap_idx_t rm, l4_addr_t *start, unsigned long size, unsigned flags, unsigned char align) L4_NOTHROW
 
int l4re_rm_free_area_srv (l4_cap_idx_t rm, l4_addr_t addr) L4_NOTHROW
 
int l4re_rm_attach_srv (l4_cap_idx_t rm, void **start, unsigned long size, unsigned long flags, l4re_ds_t const mem, l4_addr_t offs, unsigned char align) L4_NOTHROW
 
int l4re_rm_detach_srv (l4_cap_idx_t rm, l4_addr_t addr, l4re_ds_t *ds, l4_cap_idx_t task) L4_NOTHROW
 
int l4re_rm_find_srv (l4_cap_idx_t rm, l4_addr_t *addr, unsigned long *size, l4_addr_t *offset, unsigned *flags, l4re_ds_t *m) L4_NOTHROW
 
void l4re_rm_show_lists_srv (l4_cap_idx_t rm) L4_NOTHROW
 Dump region map internal data structures.
 

Detailed Description

Region map interface, C interface.

Definition in file rm.h.