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 no_iommu_init(void);
9 #ifdef CONFIG_INTEL_IOMMU
10 extern int force_iommu, no_iommu;
11 extern int iommu_detected;
14 #define iommu_detected (0)
16 extern void machvec_init(const char *name);