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 |