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