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