base/include/nul/capalloc.h File Reference

#include <service/cpu.h>
#include <sys/syscalls.h>

Classes
class	_CapAllocator
	Allocates capabilities from a certain range. More...
class	CapAllocator< C >