83 unsigned flags,
unsigned char align)
L4_NOTHROW;
104 l4re_rm_attach(
void **start,
unsigned long size,
unsigned long flags,
199 unsigned flags,
unsigned char align)
L4_NOTHROW;
248 unsigned flags,
unsigned char align)
L4_NOTHROW 266 flags, mem, offs, align);
Mask of all region manager cache bits.
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_ds(void *addr, l4re_ds_t *ds) L4_NOTHROW
Detach, unmap and return affected dataspace in current task.
shift value for caching flags
Unmap memory already mapped in the region.
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
Search for a suitable address range.
#define EXTERN_C_END
End section with C types and functions.
Shift value for Dataspace to Rm cache bits.
Start of region mapper cache bits.
Mask of all attach flags.
Capability selector for the current task.
Search only in area, or map into area.
The region contains exclusive memory that is not mapped anywhere else.
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
unsigned long l4_cap_idx_t
L4 Capability selector Type.
Region is reserved (blocked)
Cache bits for uncached memory.
int l4re_rm_free_area_srv(l4_cap_idx_t rm, l4_addr_t addr) L4_NOTHROW
Mask of all region flags.
l4_cap_idx_t rm
Region map object-capability.
Eagerly map the attached data space in.
l4_cap_idx_t l4re_ds_t
Dataspace type.
Cache bits for buffered (write combining) memory.
#define EXTERN_C_BEGIN
Start section with C types and functions.
void l4re_rm_show_lists_srv(l4_cap_idx_t rm) L4_NOTHROW
Dump region map internal data structures.
int l4re_rm_detach(void *addr) L4_NOTHROW
Detach and unmap in current task.
#define L4_CV
Define calling convention.
request normal memory mapping
request uncacheable memory mappings
void l4re_rm_show_lists(void) L4_NOTHROW
Dump region map internal data structures.
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_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
int l4re_rm_detach_unmap(l4_addr_t addr, l4_cap_idx_t task) L4_NOTHROW
Detach and unmap in specified task.
int l4re_rm_find(l4_addr_t *addr, unsigned long *size, l4_addr_t *offset, unsigned *flags, l4re_ds_t *m) L4_NOTHROW
int l4re_rm_free_area(l4_addr_t addr) L4_NOTHROW
int l4re_rm_reserve_area(l4_addr_t *start, unsigned long size, unsigned flags, 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
l4re_rm_flags_t
Flags for region operations.
request bufferable (write buffered) mappings
unsigned long l4_addr_t
Address type.
Cache bits for normal cacheable memory.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.