L4Re - L4 Runtime Environment
|
Region map interface, C interface. More...
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_CACHING_SHIFT = 8, L4RE_RM_CACHING_DS_SHIFT = L4RE_RM_CACHING_SHIFT - L4RE_DS_MAP_CACHING_SHIFT, L4RE_RM_CACHING = L4RE_DS_MAP_CACHING_MASK << L4RE_RM_CACHING_DS_SHIFT, L4RE_RM_REGION_FLAGS = L4RE_RM_CACHING | 0x0f, L4RE_RM_CACHE_NORMAL = L4RE_DS_MAP_NORMAL << L4RE_RM_CACHING_DS_SHIFT, L4RE_RM_CACHE_BUFFERED = L4RE_DS_MAP_BUFFERABLE << L4RE_RM_CACHING_DS_SHIFT, L4RE_RM_CACHE_UNCACHED = L4RE_DS_MAP_UNCACHEABLE << L4RE_RM_CACHING_DS_SHIFT, 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. | |
Region map interface, C interface.
Definition in file rm.h.