NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
#include <service.h>
Public Member Functions | |
virtual void | cleanup () |
BaseSession (cap_sel pt) |
Public Attributes | |
cap_sel | sm_pseudonym |
const cap_sel | pt |
Closure | closure |
Public Attributes inherited from Queue< T >::ListElement | |
T *volatile | next |
|
inlineexplicit |
|
inlinevirtual |
Reimplemented in VirtualNetService::Session.
Closure BaseService::BaseSession::closure |
const cap_sel BaseService::BaseSession::pt |
cap_sel BaseService::BaseSession::sm_pseudonym |