![]() |
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':
"partlabel:<label>": 'device' contains "<label>" without conversion.
"partuuid:<uuid>": Check if "<uuid>" is a valid UUID and return with error if not. In case of success, 'device' contains "<uuid>" with all characters converted to upper case.
"<string>": Check if "<string>" is a valid UUID. If so, 'device' contains "<string>" with all characters converted to upper case. Otherwise, 'device' contains the unmodified "<string>".
Definition at line 383 of file block_device_mgr.h.