sigma0.h File Reference

Sigma0 interface. More...

#include <l4/sys/compiler.h>
#include <l4/sys/types.h>
#include <l4/sys/kip.h>

Include dependency graph for sigma0.h:

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.

Detailed Description

Sigma0 interface.

Definition in file sigma0.h.