|
NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
#include <service.h>
Public Member Functions | |
| BaseSession * | find_session (cap_sel sm_pseudonym) |
| void | remove_session (BaseSession *s) |
Public Attributes | |
| cap_sel | ec_service |
| cap_sel | pt_service |
| Utcb * | utcb_client |
| cap_sel | ec_client |
| cap_sel | pt_flush |
| BaseSession * | sessions |
|
inline |
|
inline |
| cap_sel BaseService::per_cpu::ec_client |
| cap_sel BaseService::per_cpu::ec_service |
| cap_sel BaseService::per_cpu::pt_flush |
| cap_sel BaseService::per_cpu::pt_service |
| BaseSession* BaseService::per_cpu::sessions |
| Utcb* BaseService::per_cpu::utcb_client |