1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_IA64_IOMMU_H
3 #define _ASM_IA64_IOMMU_H 1
4 
5 #include <linux/acpi.h>
6 
7 /* 10 seconds */
8 #define DMAR_OPERATION_TIMEOUT (((cycles_t) local_cpu_data->itc_freq)*10)
9 
10 extern void no_iommu_init(void);
11 #ifdef	CONFIG_INTEL_IOMMU
12 extern int force_iommu, no_iommu;
13 extern int iommu_detected;
14 
15 static inline int __init
arch_rmrr_sanity_check(struct acpi_dmar_reserved_memory * rmrr)16 arch_rmrr_sanity_check(struct acpi_dmar_reserved_memory *rmrr) { return 0; }
17 #else
18 #define no_iommu		(1)
19 #define iommu_detected		(0)
20 #endif
21 
22 #endif
23