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