/* SPDX-License-Identifier: GPL-2.0 */
|
#ifndef _ASM_IA64_IOMMU_H
|
#define _ASM_IA64_IOMMU_H 1
|
|
#include <linux/acpi.h>
|
|
/* 10 seconds */
|
#define DMAR_OPERATION_TIMEOUT (((cycles_t) local_cpu_data->itc_freq)*10)
|
|
extern void no_iommu_init(void);
|
#ifdef CONFIG_INTEL_IOMMU
|
extern int force_iommu, no_iommu;
|
extern int iommu_detected;
|
|
static inline int __init
|
arch_rmrr_sanity_check(struct acpi_dmar_reserved_memory *rmrr) { return 0; }
|
#else
|
#define no_iommu (1)
|
#define iommu_detected (0)
|
#endif
|
|
#endif
|
