42 L4RE_RM_F_W = L4RE_DS_F_W,
43 L4RE_RM_F_X = L4RE_DS_F_X,
44 L4RE_RM_F_RX = L4RE_DS_F_RX,
45 L4RE_RM_F_RW = L4RE_DS_F_RW,
46 L4RE_RM_F_RWX = L4RE_DS_F_RWX,
88 l4re_rm_flags_t flags,
unsigned char align)
L4_NOTHROW;
110l4re_rm_attach(
void **start,
unsigned long size, l4re_rm_flags_t flags,
112 l4re_rm_offset_t offs,
199 l4re_rm_offset_t *offset,
224 l4re_rm_flags_t flags,
unsigned char align)
L4_NOTHROW;
240 l4re_rm_offset_t offs,
259 unsigned long *size, l4re_rm_offset_t *offset,
274 l4re_rm_flags_t flags,
unsigned char align)
L4_NOTHROW
292 flags, mem, offs, align);
325 l4re_rm_offset_t *offset,
l4_cap_idx_t l4re_ds_t
Dataspace type.
@ L4RE_DS_F_BUFFERABLE
request bufferable (write buffered) mappings
@ L4RE_DS_F_NORMAL
request normal memory mapping
@ L4RE_DS_F_CACHING_MASK
mask for caching flags
@ L4RE_DS_F_UNCACHEABLE
request uncacheable memory mappings
int l4re_rm_attach(void **start, unsigned long size, l4re_rm_flags_t flags, l4re_ds_t mem, l4re_rm_offset_t offs, unsigned char align) L4_NOTHROW
Attach a data space to a region.
int l4re_rm_detach(void *addr) L4_NOTHROW
Detach and unmap a region from the address space in the current task.
void l4re_rm_show_lists_srv(l4_cap_idx_t rm) L4_NOTHROW
Dump region map internal data structures.
int l4re_rm_attach_srv(l4_cap_idx_t rm, void **start, unsigned long size, l4re_rm_flags_t flags, l4re_ds_t mem, l4re_rm_offset_t offs, unsigned char align) L4_NOTHROW
int l4re_rm_reserve_area_srv(l4_cap_idx_t rm, l4_addr_t *start, unsigned long size, l4re_rm_flags_t flags, unsigned char align) L4_NOTHROW
void l4re_rm_show_lists(void) L4_NOTHROW
Dump region map internal data structures.
int l4re_rm_find(l4_addr_t *addr, unsigned long *size, l4re_rm_offset_t *offset, l4re_rm_flags_t *flags, l4re_ds_t *m) L4_NOTHROW
Find a region given an address and size.
int l4re_rm_detach_ds(void *addr, l4re_ds_t *ds) L4_NOTHROW
Detach and unmap a region and return affected dataspace in the current task.
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_detach_unmap(l4_addr_t addr, l4_cap_idx_t task) L4_NOTHROW
Detach and unmap in specified task.
l4re_rm_flags_values
Flags for region operations.
int l4re_rm_find_srv(l4_cap_idx_t rm, l4_addr_t *addr, unsigned long *size, l4re_rm_offset_t *offset, l4re_rm_flags_t *flags, l4re_ds_t *m) L4_NOTHROW
int l4re_rm_free_area_srv(l4_cap_idx_t rm, l4_addr_t addr) L4_NOTHROW
int l4re_rm_reserve_area(l4_addr_t *start, unsigned long size, l4re_rm_flags_t flags, unsigned char align) L4_NOTHROW
Reserve the given area in the region map.
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.
int l4re_rm_free_area(l4_addr_t addr) L4_NOTHROW
Free an area from the region map.
@ L4RE_RM_F_CACHE_BUFFERED
Cache bits for buffered (write combining) memory.
@ L4RE_RM_REGION_FLAGS
Mask of all region flags.
@ L4RE_RM_F_CACHE_UNCACHED
Cache bits for uncached memory.
@ L4RE_RM_CACHING_SHIFT
Start of region mapper cache bits.
@ L4RE_RM_F_NO_EAGER_MAP
Prevent eager mapping of the attached data space.
@ L4RE_RM_F_SEARCH_ADDR
Search for a suitable address range.
@ L4RE_RM_F_PAGER
Region has a pager.
@ L4RE_RM_F_R
Region is read-only.
@ L4RE_RM_F_IN_AREA
Search only in area, or map into area.
@ L4RE_RM_F_CACHE_NORMAL
Cache bits for normal cacheable memory.
@ L4RE_RM_F_ATTACH_FLAGS
Mask of all attach flags.
@ L4RE_RM_F_RESERVED
Region is reserved (blocked)
@ L4RE_RM_F_EAGER_MAP
Eagerly map the attached data space in.
@ L4RE_RM_F_NO_ALIAS
The region contains exclusive memory that is not mapped anywhere else.
@ L4RE_RM_F_CACHING
Mask of all region manager cache bits.
unsigned long l4_addr_t
Address type.
unsigned int l4_uint32_t
Unsigned 32bit value.
unsigned long long l4_uint64_t
Unsigned 64bit value.
unsigned long l4_cap_idx_t
Capability selector type.
@ L4_BASE_TASK_CAP
Capability selector for the current task.
#define L4_CV
Define calling convention.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
#define L4_INLINE
L4 Inline function attribute.
#define EXTERN_C_BEGIN
Start section with C types and functions.
#define EXTERN_C_END
End section with C types and functions.
l4_cap_idx_t rm
Region map object-capability.