1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef _ASM_IA64_IOMMU_H 3 #define _ASM_IA64_IOMMU_H 1 4 5 /* 10 seconds */ 6 #define DMAR_OPERATION_TIMEOUT (((cycles_t) local_cpu_data->itc_freq)*10) 7 8 extern void no_iommu_init(void); 9 #ifdef CONFIG_INTEL_IOMMU 10 extern int force_iommu, no_iommu; 11 extern int iommu_detected; 12 #else 13 #define no_iommu (1) 14 #define iommu_detected (0) 15 #endif 16 17 #endif 18