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 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