22 public Kobject_x<Iommu, Proto_t<L4_PROTO_IOMMU>, Type_info::Demand_t<1> >
Interface for IO-MMUs used for DMA remapping.
l4_msgtag_t unbind(l4_uint64_t src_id, Ipc::Cap< Task > dma_space)
Remove the association of the given DMA address space from the device(s) specified by src_id.
l4_msgtag_t bind(l4_uint64_t src_id, Ipc::Cap< Task > dma_space)
Associate dma_space with the set of device(s) specified by src_id.
Capability type for RPC interfaces (see L4::Cap<T>).
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).
L4 low-level kernel interface.
Generic Kobject inheritance template.
Message tag data structure.