| 1 | /*- |
| 2 | * This file is in the public domain. |
| 3 | */ |
| 4 | |
| 5 | #ifndef _MACHINE_IOMMU_H_ |
| 6 | #define _MACHINE_IOMMU_H_ |
| 7 | |
| 8 | #include <x86/include/busdma_impl.h> |
| 9 | #include <x86/iommu/intel_reg.h> |
| 10 | #include <x86/iommu/x86_iommu.h> |
| 11 | #include <x86/iommu/intel_dmar.h> |
| 12 | |
| 13 | #endif /* !_MACHINE_IOMMU_H_ */ |