# SPDX-License-Identifier: GPL-2.0

  vfio_virqfd-y := virqfd.o

  obj-$(CONFIG_VFIO) += vfio.o
  obj-$(CONFIG_VFIO_VIRQFD) += vfio_virqfd.o

  obj-$(CONFIG_VFIO_IOMMU_TYPE1) += vfio_iommu_type1.o

  obj-$(CONFIG_VFIO_IOMMU_SPAPR_TCE) += vfio_iommu_spapr_tce.o

  obj-$(CONFIG_VFIO_SPAPR_EEH) += vfio_spapr_eeh.o

  obj-$(CONFIG_VFIO_PCI) += pci/

  obj-$(CONFIG_VFIO_PLATFORM) += platform/

  obj-$(CONFIG_VFIO_MDEV) += mdev/