NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
Public Attributes | |
volatile uint64 | abstimeout |
volatile unsigned | count |
unsigned | nr |
phy_cpu_no | cpu |
ClientData *volatile | lifo_next |
Additional Inherited Members | |
Public Member Functions inherited from GenericClientData | |
void | set_identity (cap_sel id) |
cap_sel | get_identity () |
void | set_singleton (cap_sel cap) |
cap_sel | get_singleton () |
template<class A > | |
void | dealloc_identity (A *obj) |
Static Public Member Functions inherited from BaseClientData | |
static unsigned | get_quota (Utcb &utcb, unsigned _pseudonym, const char *name, long value_in, long *value_out=0) |
We implement a get_quota here, so that derived classes can overwrite it. |
volatile uint64 PerCpuTimerService::ClientData::abstimeout |
volatile unsigned PerCpuTimerService::ClientData::count |
phy_cpu_no PerCpuTimerService::ClientData::cpu |
ClientData* volatile PerCpuTimerService::ClientData::lifo_next |
unsigned PerCpuTimerService::ClientData::nr |