|
NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
This is the complete list of members for BaseService, including all inherited members.
| _free_sessions | BaseService | protected |
| _per_cpu | BaseService | protected |
| alloc_cap()=0 | BaseService | protectedpure virtual |
| alloc_crd() | BaseService | inline |
| close_session(per_cpu &local, BaseSession *s) | BaseService | inlineprotectedvirtual |
| create_ec(phy_cpu_no cpu, Utcb **utcb_out)=0 | BaseService | protectedpure virtual |
| dealloc_cap(cap_sel c)=0 | BaseService | protectedpure virtual |
| flush_func() | BaseService | inlineprotectedstatic |
| garbace_collect(per_cpu &local) | BaseService | inlineprotected |
| new_session()=0 | BaseService | protectedpure virtual |
| portal_func(Utcb &utcb, Utcb::Frame &input, bool &free_cap, cap_sel pid) | BaseService | inline |
| register_service(const char *service_name) | BaseService | inline |