Dataspace C interface.
More...
|
long | l4re_ds_clear (const l4re_ds_t ds, l4_addr_t offset, unsigned long size) L4_NOTHROW |
|
long | l4re_ds_allocate (const l4re_ds_t ds, l4_addr_t offset, l4_size_t size) L4_NOTHROW |
|
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 |
|
unsigned long | l4re_ds_size (const l4re_ds_t ds) L4_NOTHROW |
|
long | l4re_ds_flags (const l4re_ds_t ds) L4_NOTHROW |
|
int | l4re_ds_info (const l4re_ds_t ds, l4re_ds_stats_t *stats) L4_NOTHROW |
|
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. More...
|
|
Dataspace C interface.
◆ l4re_ds_map_flags
Flags to specify the memory mapping type of a request.
Enumerator |
---|
L4RE_DS_MAP_NORMAL | request normal memory mapping
|
L4RE_DS_MAP_CACHEABLE | request normal memory mapping
|
L4RE_DS_MAP_BUFFERABLE | request bufferable (write buffered) mappings
|
L4RE_DS_MAP_UNCACHEABLE | request uncacheable memory mappings
|
L4RE_DS_MAP_CACHING_MASK | mask for caching flags
|
L4RE_DS_MAP_CACHING_SHIFT | shift value for caching flags
|
Definition at line 54 of file dataspace.h.
◆ l4re_ds_allocate()
◆ l4re_ds_clear()
◆ l4re_ds_copy_in()
◆ l4re_ds_flags()
◆ l4re_ds_info()
◆ l4re_ds_phys()
Return physical address.
- Parameters
-
ds | Dataspace |
offset | Offset in bytes in dataspace |
- Return values
-
phys_addr | Physical address |
phys_size | Size of physically contiguous region starting from phys_addr (in bytes). |
- Returns
- 0 for success, <0 on error
The function returns the physical address of an offset in a dataspace. Use multiple calls of the function to get all physical regions in case of physically non-contiguous dataspaces.
- See also
- L4Re::Dataspace::phys
◆ l4re_ds_size()
unsigned long l4re_ds_size |
( |
const l4re_ds_t |
ds | ) |
|