L4Re Operating System Framework
Interface and Usage Documentation
|
Sigma0 interface. More...
Go to the source code of this file.
Macros | |
#define | SIGMA0_REQ_MAGIC ~0xFFUL |
Request magic. | |
#define | SIGMA0_REQ_MASK ~0xFFUL |
Request mask. | |
#define | SIGMA0_REQ_ID_MASK 0xF0 |
ID mask. | |
#define | SIGMA0_REQ_ID_FPAGE_RAM 0x60 |
RAM. | |
#define | SIGMA0_REQ_ID_FPAGE_IOMEM 0x70 |
I/O memory. | |
#define | SIGMA0_REQ_ID_FPAGE_IOMEM_CACHED 0x80 |
Cached I/O memory. | |
#define | SIGMA0_REQ_ID_FPAGE_ANY 0x90 |
Any. | |
#define | SIGMA0_REQ_ID_KIP 0xA0 |
KIP. | |
#define | SIGMA0_REQ_ID_DEBUG_DUMP 0xC0 |
Debug dump. | |
#define | SIGMA0_IS_MAGIC_REQ(d1) ((d1 & SIGMA0_REQ_MASK) == SIGMA0_REQ_MAGIC) |
Check if magic. | |
#define | SIGMA0_REQ(x) (SIGMA0_REQ_MAGIC + SIGMA0_REQ_ID_ ## x) |
Construct. | |
#define | SIGMA0_REQ_FPAGE_RAM (SIGMA0_REQ(FPAGE_RAM)) |
RAM. | |
#define | SIGMA0_REQ_FPAGE_IOMEM (SIGMA0_REQ(FPAGE_IOMEM)) |
I/O memory. | |
#define | SIGMA0_REQ_FPAGE_IOMEM_CACHED (SIGMA0_REQ(FPAGE_IOMEM_CACHED)) |
Cache I/O memory. | |
#define | SIGMA0_REQ_FPAGE_ANY (SIGMA0_REQ(FPAGE_ANY)) |
Any. | |
#define | SIGMA0_REQ_KIP (SIGMA0_REQ(KIP)) |
KIP. | |
#define | SIGMA0_REQ_DEBUG_DUMP (SIGMA0_REQ(DEBUG_DUMP)) |
Debug dump. | |
Enumerations | |
enum | l4sigma0_return_flags_t { L4SIGMA0_OK , L4SIGMA0_NOTALIGNED , L4SIGMA0_IPCERROR , L4SIGMA0_NOFPAGE , L4SIGMA0_4 , L4SIGMA0_5 , L4SIGMA0_SMALLERFPAGE } |
Return flags of libsigma0 functions. More... | |
Functions | |
l4_kernel_info_t * | l4sigma0_map_kip (l4_cap_idx_t sigma0, void *addr, unsigned log2_size) |
Map the kernel info page from sigma0 to addr. | |
int | l4sigma0_map_mem (l4_cap_idx_t sigma0, l4_addr_t phys, l4_addr_t virt, l4_addr_t size) |
Request a memory mapping from sigma0. | |
int | l4sigma0_map_iomem (l4_cap_idx_t sigma0, l4_addr_t phys, l4_addr_t virt, l4_addr_t size, int cached) |
Request IO memory from sigma0. | |
int | l4sigma0_map_anypage (l4_cap_idx_t sigma0, l4_addr_t map_area, unsigned log2_map_size, l4_addr_t *base, unsigned sz) |
Request an arbitrary free page of RAM. | |
void | l4sigma0_debug_dump (l4_cap_idx_t sigma0) |
Request sigma0 to dump internal debug information. | |
char const * | l4sigma0_map_errstr (int err) |
Get user readable error messages for the return codes. | |
Sigma0 interface.
Definition in file sigma0.h.