65 unsigned flags,
unsigned char align)
L4_NOTHROW;
86 l4re_rm_attach(
void **start,
unsigned long size,
unsigned long flags,
181 unsigned flags,
unsigned char align)
L4_NOTHROW;
230 unsigned flags,
unsigned char align)
L4_NOTHROW 248 flags, mem, offs, align);
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.
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.
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)
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.
#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.
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.
unsigned long l4_addr_t
Address type.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.