12#include <l4/cxx/unique_ptr>
14#include <l4/l4virtio/server/l4virtio>
16namespace Block_device {
55 cxx::unique_ptr<Dma_region_info> dma_info;
70 void *virt_addr =
nullptr;
76 cxx::unique_ptr<Inout_block> next;
79typedef std::function<void(
int,
l4_size_t)> Inout_callback;
l4_uint64_t Dma_addr
Data type for DMA addresses.
Region of driver memory, that shall be managed locally.
unsigned int l4_size_t
Unsigned size type.
unsigned int l4_uint32_t
Unsigned 32bit value.
unsigned long long l4_uint64_t
Unsigned 64bit value.
Base class used by the driver implementation to derive its own DMA mapping tracking structure.
Description of an inout block to be sent to the device.
l4_uint64_t sector
Initial sector. Used only by DISCARD / WRITE_ZEROES requests.
l4_uint32_t flags
Flags from Inout_flags.
Additional info stored in each L4virtio::Svr::Driver_mem_region_t used for tracking dataspace-wide DM...