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/intel_dmar.h> 11 12 #endif /* !_MACHINE_IOMMU_H_ */ 13