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