Loading...
Searching...
No Matches
iommu
// vi:set ft=cpp: -*- Mode: C++ -*-
/* \file
* IO-MMU interface description.
*/
#pragma once
#include <l4/sys/cxx/ipc_iface>
namespace L4 {
class Iommu :
public Kobject_x<Iommu, Proto_t<L4_PROTO_IOMMU>, Type_info::Demand_t<1> >
{
public:
L4_INLINE_RPC(
l4_msgtag_t, bind, (l4_uint64_t src_id, Ipc::Cap<Task> dma_space));
L4_INLINE_RPC(
l4_msgtag_t, unbind, (l4_uint64_t src_id, Ipc::Cap<Task> dma_space));
typedef Typeid::Rpcs_code<l4_umword_t>::F<bind_t, unbind_t> Rpcs;
};
}
L4::Iommu
Interface for IO-MMUs used for DMA remapping.
Definition iommu:23
L4::Iommu::unbind
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::Iommu::bind
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.
L4::Ipc::Cap
Capability type for RPC interfaces (see L4::Cap<T>).
Definition ipc_types:699
l4_uint64_t
unsigned long long l4_uint64_t
Unsigned 64bit value.
Definition l4int.h:31
ipc_iface
Interface Definition Language.
L4_INLINE_RPC
#define L4_INLINE_RPC(res, name, args, attr...)
Define an inline RPC call (type and callable).
Definition ipc_iface:482
L4
L4 low-level kernel interface.
Definition l4sys-l4f-groups.dox:50
L4::Kobject_x
Generic Kobject inheritance template.
Definition __typeinfo.h:1197
L4::Typeid::Rpcs_code::F
Definition __typeinfo.h:445
l4_msgtag_t
Message tag data structure.
Definition types.h:154