types.h File Reference

Definitions of standard Barrelfish userland types. More...

Macros
#define	MAX_CPUS   MAX_COREID
	MAX_CPUS is a legacy name for max core ID.
#define	DIVIDE_ROUND_UP(n, size)   (((n) + (size) - 1) / (size))
	Core ID bitmask type. More...

Typedefs
typedef size_t	cycles_t
	Cycle count type.
typedef uint64_t	delayus_t
	Relative delay time (in microseconds)
typedef uint64_t	pciaddr_t
	PCI addresses.
typedef uint64_t	pcisize_t
	PCI size.

Detailed Description

Definitions of standard Barrelfish userland types.

Macro Definition Documentation

#define DIVIDE_ROUND_UP	(		n,
			size
	)		(((n) + (size) - 1) / (size))

Core ID bitmask type.

XXX: the coremask_t type is deprecated and should not be used for new code. For a replacement, see <barrelfish/coreset.h>