26#include <l4/sys/l4int.h>
64 public L4::Kobject_0t< Dma_space,
66 L4::Type_info::Demand_t<1> >
172 L4Re::Dataspace::Offset offset,
L4::Cap related definitions.
Managed DMA Address Space.
long disassociate()
Disassociate the (kernel) DMA space from this Dma_space.
Attribute
Attributes used for the memory region during the transfer.
@ No_sync
Do not sync the memory hierarchy.
Space_attrib
Attributes assigned to the DMA space when associated with a specific device.
@ Phys_space
The DMA space has no DMA task assigned and uses the CPUs physical memory.
@ Coherent
The device is connected coherently with the cache.
L4::Types::Flags< Attribute > Attributes
Attributes for DMA mappings.
long associate(L4::Ipc::Opt< L4::Ipc::Cap< L4::Task > > dma_task, Space_attribs attr)
Associate a (kernel) DMA space for a device to this Dma_space.
long unmap(Dma_addr dma_addr, l4_size_t size, Attributes attrs, Direction dir)
Unmap the given part of this data space from the DMA address space.
l4_uint64_t Dma_addr
Data type for DMA addresses.
Direction
Direction of the DMA transfers.
@ Bidirectional
device reads and writes to the memory
@ To_device
device reads the memory
@ None
device is coherently connected to the memory
@ From_device
device writes to the memory
L4::Types::Flags< Space_attrib > Space_attribs
Attributes used when configuring the DMA space.
Capability type for RPC interfaces (see L4::Cap<T>).
Template for defining typical Flags bitmaps.
unsigned int l4_size_t
Unsigned size type.
unsigned long long l4_uint64_t
Unsigned 64bit value.
Interface Definition Language.
#define L4_INLINE_RPC(res, name, args, attr...)
Define an inline RPC call (type and callable).
Common L4 ABI Data Types.
L4Re Protocol Constants (C version)
RPC attribute for an RPC call with required rights.
Mark an argument as in-out argument.
Attribute for defining an optional RPC argument.
Standard list of RPCs of an interface.