1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef _ASM_IA64_IOMMU_H
 3#define _ASM_IA64_IOMMU_H 1
 4
 5#include <linux/acpi.h>
 6
 7/* 10 seconds */
 8#define DMAR_OPERATION_TIMEOUT (((cycles_t) local_cpu_data->itc_freq)*10)
 9
10extern void no_iommu_init(void);
11#ifdef	CONFIG_INTEL_IOMMU
12extern int force_iommu, no_iommu;
13extern int iommu_detected;
14
15static inline int __init
16arch_rmrr_sanity_check(struct acpi_dmar_reserved_memory *rmrr) { return 0; }
17#else
18#define no_iommu		(1)
19#define iommu_detected		(0)
20#endif
21
22#endif