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