L4Re Operating System Framework – Interface and Usage Documentation
Loading...
Searching...
No Matches
iommu
1// vi:set ft=cpp: -*- Mode: C++ -*-
2/* \file
3 * IO-MMU interface description.
4 */
5#pragma once
6
8
9namespace L4 {
21class Iommu :
22 public Kobject_x<Iommu, Proto_t<L4_PROTO_IOMMU>, Type_info::Demand_t<1> >
23{
24public:
39
52
53 typedef Typeid::Rpcs_code<l4_umword_t>::F<bind_t, unbind_t> Rpcs;
54};
55
56}
Interface for IO-MMUs used for DMA remapping.
Definition iommu:23
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>).
Definition ipc_types:546
unsigned long long l4_uint64_t
Unsigned 64bit value.
Definition l4int.h:42
Interface Definition Language.
#define L4_INLINE_RPC(res, name, args, attr...)
Define an inline RPC call (type and callable).
Definition ipc_iface:469
L4 low-level kernel interface.
Generic Kobject inheritance template.
Message tag data structure.
Definition types.h:163