mirror of
https://git.hardenedbsd.org/hardenedbsd/HardenedBSD.git
synced 2024-11-23 03:41:07 +01:00
11 lines
164 B
C
11 lines
164 B
C
/*-
|
|
* This file is in the public domain.
|
|
*/
|
|
|
|
#ifndef _MACHINE_IOMMU_H_
|
|
#define _MACHINE_IOMMU_H_
|
|
|
|
#include <arm64/iommu/iommu.h>
|
|
|
|
#endif /* !_MACHINE_IOMMU_H_ */
|