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