1 /*- 2 * This file is in the public domain. 3 */ 4 5 #ifndef _MACHINE_IOMMU_H_ 6 #define _MACHINE_IOMMU_H_ 7 8 #include <arm64/iommu/iommu.h> 9 10 #endif /* !_MACHINE_IOMMU_H_ */ 11