diff options
| author | Will Deacon <[email protected]> | 2013-06-10 19:34:42 +0100 |
|---|---|---|
| committer | Catalin Marinas <[email protected]> | 2013-06-11 18:15:55 +0100 |
| commit | 73150c983ac1f9b7653cfd3823b1ad4a44aad3bf (patch) | |
| tree | 0842c9f31afc05c874f4ad493834a51a1b350a32 /lib/mpi/mpi-bit.c | |
| parent | 9ab6d02fddc6831b166812956ff387d7112ff626 (diff) | |
arm64: device: add iommu pointer to device archdata
When using an IOMMU for device mappings, it is necessary to keep a
pointer between the device and the IOMMU to which it is attached in
order to obtain the correct IOMMU when attaching the device to a domain.
This patch adds an iommu pointer to the dev_archdata structure, in a
similar manner to other architectures (ARM, PowerPC, x86, ...).
Signed-off-by: Will Deacon <[email protected]>
Signed-off-by: Catalin Marinas <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-bit.c')
0 files changed, 0 insertions, 0 deletions