L4Re Operating System Framework – Interface and Usage Documentation
|
File in l4/libblock-device | Includes file in l4/re |
---|---|
block_device_mgr.h | error_helper |
device.h | dataspace |
device.h | dma_space |
errand.h | env.h |
inout_memory.h | dma_space |
inout_memory.h | env |
inout_memory.h | error_helper |
inout_memory.h | rm |
inout_memory.h | util / unique_cap |
types.h | dma_space |