NOVA User-Level Environment  Version testbox/changed-memory-timing-317-g320d8b5
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Service_config Class Reference
Inheritance diagram for Service_config:
CapAllocator InternalCapAllocator

Public Member Functions

 Service_config (Motherboard &_mb, unsigned long capstart, unsigned long cap_order)
unsigned alloc_crd ()
unsigned portal_func (Utcb &utcb, Utcb::Frame &input, bool &free_cap, cap_sel pid)
- Public Member Functions inherited from CapAllocator
 CapAllocator (unsigned long cap_, unsigned long cap_start, unsigned long cap_order)
unsigned alloc_cap (unsigned count=1)
void dealloc_cap (unsigned cap, unsigned count=1)

Private Attributes

DBus< MessageConsole > & _bus_console

Additional Inherited Members

- Public Attributes inherited from CapAllocator
unsigned long _cap_
unsigned long _cap_start
unsigned long _cap_order

Constructor & Destructor Documentation

Service_config::Service_config ( Motherboard _mb,
unsigned long  capstart,
unsigned long  cap_order 
)
inline

Member Function Documentation

unsigned Service_config::alloc_crd ( )
inline
unsigned Service_config::portal_func ( Utcb utcb,
Utcb::Frame input,
bool &  free_cap,
cap_sel  pid 
)
inline

Member Data Documentation

DBus<MessageConsole>& Service_config::_bus_console
private

The documentation for this class was generated from the following file: