1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_IA64_IOMMU_H
3 #define _ASM_IA64_IOMMU_H 1
6 #define DMAR_OPERATION_TIMEOUT (((cycles_t) local_cpu_data->itc_freq)*10)
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
;
15 #define iommu_pass_through (0)
17 #define iommu_detected (0)
19 extern void iommu_dma_init(void);
20 extern void machvec_init(const char *name
);