1/*-
2 * This file is in the public domain.
3 */
4
5#ifndef	_MACHINE_IOMMU_H_
6#define	_MACHINE_IOMMU_H_
7
8#include <x86/include/busdma_impl.h>
9#include <x86/iommu/intel_reg.h>
10#include <x86/iommu/x86_iommu.h>
11#include <x86/iommu/intel_dmar.h>
12
13#endif /* !_MACHINE_IOMMU_H_ */
14