/*-
* This file is in the public domain.
*/
/* $FreeBSD$ */
#ifndef _MACHINE_IOMMU_H_
#define _MACHINE_IOMMU_H_
#include <arm64/iommu/iommu.h>
#endif /* !_MACHINE_IOMMU_H_ */