drivers/vfio/pci/Makefile - SHIFTPHONES/mainline/linux - Gitiles

 # SPDX-License-Identifier: GPL-2.0-only

 vfio-pci-y := vfio_pci.o vfio_pci_intrs.o vfio_pci_rdwr.o vfio_pci_config.o
 vfio-pci-$(CONFIG_VFIO_PCI_IGD) += vfio_pci_igd.o
 vfio-pci-$(CONFIG_S390) += vfio_pci_zdev.o

 obj-$(CONFIG_VFIO_PCI) += vfio-pci.o
	# SPDX-License-Identifier: GPL-2.0-only

	vfio-pci-y := vfio_pci.o vfio_pci_intrs.o vfio_pci_rdwr.o vfio_pci_config.o
	vfio-pci-$(CONFIG_VFIO_PCI_IGD) += vfio_pci_igd.o
	vfio-pci-$(CONFIG_S390) += vfio_pci_zdev.o

	obj-$(CONFIG_VFIO_PCI) += vfio-pci.o