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 |