|
NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
Data that is stored by a service for every client. More...
#include <generic_service.h>
Public Member Functions | |
| void | session_close (Utcb &utcb) |
| Close the session at the parent. | |
Static Public Member Functions | |
| 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. | |
Public Attributes | |
| void * | next |
| void * | del |
| unsigned | pseudonym |
| A capability identifying the client. This is also known to the parent. | |
Data that is stored by a service for every client.
|
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 in s0_ParentProtocol::ClientData.
|
inline |
Close the session at the parent.
Implemented here so that derived classes can overwrite it.
Reimplemented in s0_ParentProtocol::ClientData.
| void* BaseClientData::del |
| void* BaseClientData::next |
| unsigned BaseClientData::pseudonym |
A capability identifying the client. This is also known to the parent.