Dataspace C interface.
More...
Dataspace C interface.
◆ l4re_ds_map_flags
Flags to specify the memory mapping type of a request.
Enumerator |
---|
L4RE_DS_F_NORMAL | request normal memory mapping
|
L4RE_DS_F_CACHEABLE | request normal memory mapping
|
L4RE_DS_F_BUFFERABLE | request bufferable (write buffered) mappings
|
L4RE_DS_F_UNCACHEABLE | request uncacheable memory mappings
|
L4RE_DS_F_CACHING_MASK | mask for caching flags
|
L4RE_DS_F_CACHING_SHIFT | shift value for caching flags
|
Definition at line 58 of file dataspace.h.
◆ l4re_ds_allocate()
long l4re_ds_allocate |
( |
l4re_ds_t |
ds, |
|
|
l4re_ds_offset_t |
offset, |
|
|
l4re_ds_size_t |
size |
|
) |
| |
◆ l4re_ds_clear()
long l4re_ds_clear |
( |
l4re_ds_t |
ds, |
|
|
l4re_ds_offset_t |
offset, |
|
|
l4re_ds_size_t |
size |
|
) |
| |
◆ l4re_ds_copy_in()
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 |
|
) |
| |
◆ l4re_ds_flags()
l4re_ds_flags_t l4re_ds_flags |
( |
l4re_ds_t |
ds | ) |
|
◆ l4re_ds_info()
◆ l4re_ds_size()