_cap_ | CapAllocator< Service_config > | [static] |
_cap_order | CapAllocator< Service_config > | [static] |
_cap_start | CapAllocator< Service_config > | [static] |
alloc_cap(unsigned count=1) | CapAllocator< Service_config > | [inline, static] |
alloc_crd() | Service_config | [inline] |
CapAllocator(unsigned long __cap_, unsigned long __cap_start, unsigned long __cap_order) | CapAllocator< Service_config > | [inline] |
dealloc_cap(unsigned cap, unsigned count=1) | CapAllocator< Service_config > | [inline, static] |
portal_func(Utcb &utcb, Utcb::Frame &input, bool &free_cap) | Service_config | [inline] |
Service_config(Motherboard &_mb, unsigned long capstart, unsigned long cap_order) | Service_config | [inline] |