NOVA User-Level Environment  Version testbox/changed-memory-timing-317-g320d8b5
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
capalloc.h File Reference
#include <service/cpu.h>
#include <sys/syscalls.h>

Classes

class  InternalCapAllocator
 Allocates capabilities from a certain range. More...
class  CapAllocator