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 <arm64/iommu/iommu.h> 10 11 #endif /* !_MACHINE_IOMMU_H_ */ 12