# SPDX-License-Identifier: GPL-2.0obj-$(CONFIG_VFIO) += vfio.o vfio-y += vfio_main.ovfio-$(CONFIG_VFIO_DEVICE_CDEV) += device_cdev.ovfio-$(CONFIG_VFIO_GROUP) += group.ovfio-$(CONFIG_IOMMUFD) += iommufd.ovfio-$(CONFIG_VFIO_CONTAINER) += container.ovfio-$(CONFIG_VFIO_VIRQFD) += virqfd.ovfio-$(CONFIG_VFIO_DEBUGFS) += debugfs.o obj-$(CONFIG_VFIO_IOMMU_TYPE1) += vfio_iommu_type1.oobj-$(CONFIG_VFIO_IOMMU_SPAPR_TCE) += vfio_iommu_spapr_tce.oobj-$(CONFIG_VFIO_PCI_CORE) += pci/obj-$(CONFIG_VFIO_PLATFORM_BASE) += platform/obj-$(CONFIG_VFIO_MDEV) += mdev/obj-$(CONFIG_VFIO_FSL_MC) += fsl-mc/obj-$(CONFIG_VFIO_CDX) += cdx/