NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
Public Attributes | |
long | guid |
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. |
long Tracebuffer::ClientData::guid |