![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Basic class that scans devices and handles client connections. More...
#include <block_device_mgr.h>
Public Member Functions | |
| void | check_clients () |
| Remove clients where the client IPC gate is no longer valid. | |
| void | shutdown_event (Shutdown_type type) |
| Process a shutdown event on all connections. | |
Static Public Member Functions | |
| static int | parse_device_name (std::string const ¶m, std::string &device) |
| Parse and verify a device string parameter. | |
Basic class that scans devices and handles client connections.
| DEV | Base class for all devices. |
| FACTORY | Class that creates clients and partitions. See Simple_factory for an example of the required interface. |
| SCHEDULER | Class that schedules VIRTIO block requests from all clients. |
Definition at line 79 of file block_device_mgr.h.
|
inlinestatic |
Parse and verify a device string parameter.
| [in] | param | Device string name parameter. |
| [out] | device | Device name extracted from parameter. |
This function tests if 'param' contains one of the following variants of a device name and extracts it into 'device':
Definition at line 383 of file block_device_mgr.h.