/*-
 * This file is in the public domain.
 */

#ifndef _MACHINE_IOMMU_H_
#define _MACHINE_IOMMU_H_

#include <riscv/iommu/iommu_frontend.h>

#endif /* !_MACHINE_IOMMU_H_ */