L4Re - L4 Runtime Environment
dataspace.h File Reference

Data space C interface. More...

#include <l4/sys/types.h>
+ Include dependency graph for dataspace.h:
+ This graph shows which files directly or indirectly include this file:

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

Detailed Description

Data space C interface.

Definition in file dataspace.h.