55 L4RE_DS_MAP_FLAG_RO = 0,
56 L4RE_DS_MAP_FLAG_RW = 1,
unsigned int l4_size_t
Unsigned size type.
shift value for caching flags
Information about the data space.
Common L4 ABI Data Types.
#define EXTERN_C_END
End section with C types and functions.
int l4re_ds_phys(const l4re_ds_t ds, l4_addr_t offset, l4_addr_t *phys_addr, l4_size_t *phys_size) L4_NOTHROW
Return physical address.
request normal memory mapping
unsigned long l4_cap_idx_t
L4 Capability selector Type.
long l4re_ds_flags(const l4re_ds_t ds) L4_NOTHROW
long l4re_ds_allocate(const l4re_ds_t ds, l4_addr_t offset, l4_size_t size) L4_NOTHROW
unsigned long l4re_ds_size(const l4re_ds_t ds) L4_NOTHROW
l4_cap_idx_t l4re_ds_t
Dataspace type.
#define EXTERN_C_BEGIN
Start section with C types and functions.
int l4re_ds_copy_in(const l4re_ds_t ds, l4_addr_t dst_offs, const l4re_ds_t src, l4_addr_t src_offs, unsigned long size) L4_NOTHROW
#define L4_CV
Define calling convention.
request normal memory mapping
request uncacheable memory mappings
long l4re_ds_clear(const l4re_ds_t ds, l4_addr_t offset, unsigned long size) L4_NOTHROW
request bufferable (write buffered) mappings
unsigned long l4_addr_t
Address type.
l4re_ds_map_flags
Flags to specify the memory mapping type of a request.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
int l4re_ds_info(const l4re_ds_t ds, l4re_ds_stats_t *stats) L4_NOTHROW