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 pci_iommu_shutdown(void); 9 extern void no_iommu_init(void); 10 #ifdef CONFIG_INTEL_IOMMU 11 extern int force_iommu, no_iommu; 12 extern int iommu_pass_through; 13 extern int iommu_detected; 14 #else 15 #define iommu_pass_through (0) 16 #define no_iommu (1) 17 #define iommu_detected (0) 18 #endif 19 extern void iommu_dma_init(void); 20 extern void machvec_init(const char *name); 21 22 #endif 23