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.