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