|
NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
This is the complete list of members for DiskService, including all inherited members.
| _cap_ | CapAllocator | |
| _cap_order | CapAllocator | |
| _cap_start | CapAllocator | |
| _create_deleg_ecs(Hip &hip) | DiskService | inlineprivate |
| _deleg_ec | DiskService | private |
| _get_client_from_deleg_pt(cap_sel pt) | DiskService | inlineprivate |
| _lock | DiskService | private |
| _mb | DiskService | private |
| _sessions | BaseSService< DiskClient, DiskService > | protected |
| _worker_ec_base | BaseSService< DiskClient, DiskService > | protected |
| add_disk(Disk *disk) | DiskService | inlineprivate |
| alloc_cap(unsigned count=1) | DiskService | inlinevirtual |
| alloc_crd() | BaseSService< DiskClient, DiskService > | inline |
| attach_drives(Utcb &utcb, cap_sel identity) | DiskService | inlineprivate |
| CapAllocator(unsigned long cap_, unsigned long cap_start, unsigned long cap_order) | CapAllocator | inline |
| close_session(Utcb &utcb, cap_sel session_id) | BaseSService< DiskClient, DiskService > | inline |
| create_ec4pt(phy_cpu_no cpu, Utcb **utcb_out, cap_sel ec=~0u) | DiskService | inlinevirtual |
| create_session_portal(cap_sel pt) | NoXlateSService< DiskClient, DiskService > | inline |
| dealloc_cap(cap_sel c) | DiskService | inlinevirtual |
| CapAllocator::dealloc_cap(unsigned cap, unsigned count=1) | CapAllocator | inline |
| debug_dump() | Device | inline |
| Device(const char *debug_name) | Device | inline |
| disks | DiskService | private |
| DiskService(Motherboard &mb, unsigned _cap, unsigned _cap_order) | DiskService | inline |
| find_free_tag(DiskClient *client, unsigned char disknr, unsigned long usertag, unsigned long &tag) | DiskService | inlineprivate |
| flag_revoke | BaseSService< DiskClient, DiskService > | protected |
| get_crdt() | NoXlateSService< DiskClient, DiskService > | inline |
| get_portal_func_addr() | BaseSService< DiskClient, DiskService > | inlineprotected |
| handle_request(DiskClient *client, unsigned op, Utcb::Frame &input, Utcb &utcb, bool &free_cap) | DiskService | inlineprivatevirtual |
| handle_session(Utcb &utcb, cap_sel session_id, unsigned op, Utcb::Frame &input, bool &free_cap) | BaseSService< DiskClient, DiskService > | inline |
| new_session(DiskClient *client) | DiskService | inlineprivatevirtual |
| open_session(Utcb &utcb, cap_sel pseudonym, bool &free_cap) | BaseSService< DiskClient, DiskService > | inline |
| portal_func(Utcb &utcb, Utcb::Frame &input, bool &free_cap, cap_sel pid) | NoXlateSService< DiskClient, DiskService > | inline |
| portal_func_delegate(cap_sel pt, Utcb &utcb, Utcb::Frame &input) | DiskService | inlineprivate |
| receive(MessageDiskCommit &msg) | DiskService | inline |
| receive_static(Device *o, M &msg) | StaticReceiver< DiskService > | inlinestatic |
| register_service(const char *service_name, Hip &hip=Global::hip) | BaseSService< DiskClient, DiskService > | inline |
| Sessions typedef | BaseSService< DiskClient, DiskService > | protected |
| static_portal_delegate(unsigned pt, DiskService *tls, Utcb *utcb) __attribute__((regparm(1))) | DiskService | inlineprivatestatic |
| StaticReceiver() | StaticReceiver< DiskService > | inline |