L4Re Operating System Framework
Interface and Usage Documentation
|
Additional info stored in each L4virtio::Svr::Driver_mem_region_t used for tracking dataspace-wide DMA mappings. More...
#include <types.h>
Additional info stored in each L4virtio::Svr::Driver_mem_region_t used for tracking dataspace-wide DMA mappings.