cspace.h File Reference

Fixed capability locations and badges for user-defined part of cspace. More...

Macros
#define	ROOTCN_FREE_SLOTS   (ROOTCN_SLOTS_USER+0)
	free slots to place EPs
#define	TASKCN_SLOT_SELFEP   (TASKCN_SLOTS_USER+0)
	Endpoint to self.
#define	TASKCN_SLOT_INITEP   (TASKCN_SLOTS_USER+1)
	End Point to init (for monitor and memserv)
#define	TASKCN_SLOT_MONITOREP   (TASKCN_SLOTS_USER+1)
	lrpc endpoint to monitor (for all other domains)
#define	TASKCN_SLOTS_FREE   (TASKCN_SLOTS_USER+2)
	first free slot in taskcn
#define	CPTR_ROOTCN   TASKCN_SLOT_ROOTCN
	Cptr to init's root CNode.

Detailed Description

Fixed capability locations and badges for user-defined part of cspace.