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