|
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 |