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