L4Re – L4 Runtime Environment
Dataspace interface

Dataspace C interface. More...

+ Collaboration diagram for Dataspace interface:

Data Structures

struct  l4re_ds_stats_t
 Information about the data space. More...
 

Typedefs

typedef l4_cap_idx_t l4re_ds_t
 Dataspace type.
 
typedef l4_cap_idx_t l4re_namespace_t
 Namespace type.
 

Enumerations

enum  l4re_ds_map_flags {
}
 Flags to specify the memory mapping type of a request. More...
 

Functions

long l4re_ds_clear (l4re_ds_t ds, l4re_ds_offset_t offset, l4re_ds_size_t size) L4_NOTHROW
 
long l4re_ds_allocate (l4re_ds_t ds, l4re_ds_offset_t offset, l4re_ds_size_t size) L4_NOTHROW
 
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
 
l4re_ds_size_t l4re_ds_size (l4re_ds_t ds) L4_NOTHROW
 
l4re_ds_flags_t l4re_ds_flags (l4re_ds_t ds) L4_NOTHROW
 
int l4re_ds_info (l4re_ds_t ds, l4re_ds_stats_t *stats) L4_NOTHROW
 

Detailed Description

Dataspace C interface.

Enumeration Type Documentation

◆ 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.

Function Documentation

◆ l4re_ds_allocate()

long l4re_ds_allocate ( l4re_ds_t  ds,
l4re_ds_offset_t  offset,
l4re_ds_size_t  size 
)
Returns
0 on success, <0 on errors
See also
L4Re::Dataspace::allocate

◆ l4re_ds_clear()

long l4re_ds_clear ( l4re_ds_t  ds,
l4re_ds_offset_t  offset,
l4re_ds_size_t  size 
)
Returns
0 on success, <0 on errors
See also
L4Re::Dataspace::clear

◆ 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 
)
Returns
0 on success, <0 on errors
See also
L4Re::Dataspace::copy_in

◆ l4re_ds_flags()

l4re_ds_flags_t l4re_ds_flags ( l4re_ds_t  ds)

◆ l4re_ds_info()

int l4re_ds_info ( l4re_ds_t  ds,
l4re_ds_stats_t stats 
)

◆ l4re_ds_size()

l4re_ds_size_t l4re_ds_size ( l4re_ds_t  ds)
Returns
Size of the dataspace in bytes.
See also
L4Re::Dataspace::size