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_ */