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