types.h File Reference

Definitions of standard Barrelfish types. More...

Macros
#define	CPTR_NULL   ((capaddr_t)0)
	Capability NULL pointer.
#define	CPTR_BITS   (sizeof(capaddr_t) * NBBY)
	Number of bits in a cspace address.

Typedefs
typedef uint64_t	systime_t
	Absolute system wallclock time in ticks.

Detailed Description

Definitions of standard Barrelfish types.