NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
Missing: kill a client, mem+cap quota support. More...
Classes | |
struct | Cmdline |
Public Member Functions | |
void | session_close (Utcb &utcb) |
Close the session at the parent. | |
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 | |
static unsigned | get_quota (Utcb &utcb, unsigned parent_cap, const char *quota_name, long value_in, long *value_out=0) |
We implement a get_quota here, so that derived classes can overwrite it. |
Public Attributes | |
char const * | name |
unsigned | len |
unsigned | singleton |
Missing: kill a client, mem+cap quota support.
|
inlinestatic |
We implement a get_quota here, so that derived classes can overwrite it.
Useful for example in sigma0 that has a different way to get the quota of a client.
Reimplemented from BaseClientData.
|
inline |
Close the session at the parent.
Implemented here so that derived classes can overwrite it.
Reimplemented from BaseClientData.
unsigned s0_ParentProtocol::ClientData::len |
char const* s0_ParentProtocol::ClientData::name |
unsigned s0_ParentProtocol::ClientData::singleton |