18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ciobj-$(CONFIG_DMAR_TABLE) += dmar.o 38c2ecf20Sopenharmony_ciobj-$(CONFIG_INTEL_IOMMU) += iommu.o pasid.o 48c2ecf20Sopenharmony_ciobj-$(CONFIG_INTEL_IOMMU) += trace.o 58c2ecf20Sopenharmony_ciobj-$(CONFIG_INTEL_IOMMU_DEBUGFS) += debugfs.o 68c2ecf20Sopenharmony_ciobj-$(CONFIG_INTEL_IOMMU_SVM) += svm.o 78c2ecf20Sopenharmony_ciobj-$(CONFIG_IRQ_REMAP) += irq_remapping.o 8