43typedef unsigned long l4re_ds_flags_t;
66 L4RE_DS_F_RIGHTS_MASK = 0x0f,
83 l4re_ds_offset_t offset,
84 l4re_ds_flags_t flags,
85 l4re_ds_map_addr_t local_addr,
86 l4re_ds_map_addr_t min_addr,
96 l4re_ds_offset_t offset,
97 l4re_ds_flags_t flags,
98 l4re_ds_map_addr_t min_addr,
119 l4re_ds_offset_t offset,
130 l4re_ds_t src, l4re_ds_offset_t src_offs,
int l4re_ds_info(l4re_ds_t ds, l4re_ds_stats_t *stats) L4_NOTHROW
Get information on the dataspace.
l4_cap_idx_t l4re_ds_t
Dataspace type.
int l4re_ds_map_info(l4re_ds_t ds, l4_addr_t *start_addr, l4_addr_t *end_addr) L4_NOTHROW
Get mapping range of dataspace.
l4re_ds_flags_t l4re_ds_flags(l4re_ds_t ds) L4_NOTHROW
Get flags of the dataspace.
long l4re_ds_allocate(l4re_ds_t ds, l4re_ds_offset_t offset, l4re_ds_size_t size) L4_NOTHROW
Allocate a range in the dataspace.
long l4re_ds_clear(l4re_ds_t ds, l4re_ds_offset_t offset, l4re_ds_size_t size) L4_NOTHROW
Clear parts of a dataspace.
int l4re_ds_copy_in(l4re_ds_t ds, l4re_ds_offset_t dst_offs, l4re_ds_t src, l4re_ds_offset_t src_offs, l4re_ds_size_t size) L4_NOTHROW
Copy contents from another dataspace.
l4re_ds_size_t l4re_ds_size(l4re_ds_t ds) L4_NOTHROW
Get size of a dataspace.
l4re_ds_map_flags
Flags to specify the memory mapping type of a request.
@ L4RE_DS_F_BUFFERABLE
request bufferable (write buffered) mappings
@ L4RE_DS_F_NORMAL
request normal memory mapping
@ L4RE_DS_F_CACHING_SHIFT
shift value for caching flags
@ L4RE_DS_F_CACHING_MASK
mask for caching flags
@ L4RE_DS_F_CACHEABLE
request normal memory mapping
@ L4RE_DS_F_UNCACHEABLE
request uncacheable memory mappings
unsigned long l4_addr_t
Address type.
unsigned long long l4_uint64_t
Unsigned 64bit value.
unsigned long l4_cap_idx_t
Capability selector type.
@ L4_FPAGE_X
Executable flex page.
@ L4_FPAGE_RWX
Read-write-execute flex page.
@ L4_FPAGE_RX
Read-execute flex page.
@ L4_FPAGE_RO
Read-only flex page
@ L4_FPAGE_RW
Read-write flex page.
@ L4_FPAGE_W
Writable flex page.
#define L4_CV
Define calling convention.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
#define EXTERN_C_BEGIN
Start section with C types and functions.
#define EXTERN_C_END
End section with C types and functions.
Common L4 ABI Data Types.
Information about the data space.
l4re_ds_flags_t flags
flags