NOVA User-Level Environment  Version testbox/changed-memory-timing-317-g320d8b5
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
BaseService::per_cpu Struct Reference

#include <service.h>

Public Member Functions

BaseSessionfind_session (cap_sel sm_pseudonym)
void remove_session (BaseSession *s)

Public Attributes

cap_sel ec_service
cap_sel pt_service
Utcbutcb_client
cap_sel ec_client
cap_sel pt_flush
BaseSessionsessions

Member Function Documentation

BaseSession* BaseService::per_cpu::find_session ( cap_sel  sm_pseudonym)
inline
void BaseService::per_cpu::remove_session ( BaseSession s)
inline

Member Data Documentation

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

The documentation for this struct was generated from the following file: