#include <config.h>

Public Types
enum	{ NUL_VERSION = 0x00000003204c554eULL, WALLCLOCK_FREQUENCY = 1000000U, CAP_RESERVED_ORDER = 11, MAX_CLIENTS_ORDER = 6, PHYS_ADDR_SIZE = 40, EXC_PORTALS = 32, MAX_CPUS = 32, DEFAULT_QUANTUM = 10000U, CAP_PARENT_BEGIN = EXC_PORTALS * MAX_CPUS }

Member Enumeration Documentation

anonymous enum

Enumerator:

The documentation for this struct was generated from the following file:

Public Types