L4Re - L4 Runtime Environment
|
Data space C interface. More...
#include <l4/sys/types.h>
Go to the source code of this file.
Data Structures | |
struct | l4re_ds_stats_t |
Information about the data space. More... | |
Typedefs | |
typedef l4_cap_idx_t | l4re_ds_t |
Dataspace type. | |
Enumerations | |
enum | l4re_ds_map_flags { , L4RE_DS_MAP_NORMAL = 0x00, L4RE_DS_MAP_CACHEABLE = L4RE_DS_MAP_NORMAL, L4RE_DS_MAP_BUFFERABLE = 0x10, L4RE_DS_MAP_UNCACHEABLE = 0x20, L4RE_DS_MAP_CACHING_MASK = 0x30, L4RE_DS_MAP_CACHING_SHIFT = 4 } |
Flags to specify the memory mapping type of a request. More... | |
Functions | |
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... | |
Data space C interface.
Definition in file dataspace.h.