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. | |
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 80 of file block_device_mgr.h.