NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
This is the complete list of members for s0_ParentProtocol, including all inherited members.
_cap_ | CapAllocator | |
_cap_all_order | s0_ParentProtocol | |
_cap_all_start | s0_ParentProtocol | |
_cap_order | CapAllocator | |
_cap_start | CapAllocator | |
_percpu | s0_ParentProtocol | private |
_server | s0_ParentProtocol | private |
ALIGNED(8) ClientDataStorage< ClientData | s0_ParentProtocol | private |
ALIGNED(8) ClientDataStorage< ServerData | s0_ParentProtocol | private |
alloc_cap(unsigned count=1) | CapAllocator | inline |
alloc_crd() | s0_ParentProtocol | inline |
cap_ec_parent | s0_ParentProtocol | |
CapAllocator(unsigned long cap_, unsigned long cap_start, unsigned long cap_order) | CapAllocator | inline |
check_permission(unsigned identity, const char *request, unsigned request_len, unsigned instance, char const *&cmdline, unsigned &namelen) | s0_ParentProtocol | inlineprivate |
create_pt_per_client(unsigned base, T *__sigma0) | s0_ParentProtocol | inline |
create_threads(T *__sigma0) | s0_ParentProtocol | inline |
dealloc_cap(unsigned cap, unsigned count=1) | CapAllocator | inline |
free_service(Utcb &utcb, ServerData *sdata) | s0_ParentProtocol | inlineprivate |
get_client_cmdline(unsigned identity, unsigned long &s0_cmdlen) | s0_ParentProtocol | privatestatic |
get_client_memory(unsigned identity, unsigned client_mem_revoke) | s0_ParentProtocol | privatestatic |
get_client_number(unsigned cap) | s0_ParentProtocol | inlineprivatestatic |
get_portal(Utcb &utcb, unsigned cap_client, unsigned &portal) | s0_ParentProtocol | inlineprivate |
GuardC typedef | s0_ParentProtocol | private |
GuardS typedef | s0_ParentProtocol | private |
notify_service(Utcb &utcb, ClientData *c) | s0_ParentProtocol | inlineprivate |
portal_func(Utcb &utcb, Utcb::Frame &input, bool &free_cap, cap_sel pid) | s0_ParentProtocol | inline |
s0_ParentProtocol | s0_ParentProtocol | private |
s0_ParentProtocol(unsigned cap_start, unsigned cap_order, unsigned cap_all_start, unsigned cap_all_order) | s0_ParentProtocol | inline |
session | s0_ParentProtocol | private |