linux/drivers/vfio/pci/pds/Makefile

# SPDX-License-Identifier: GPL-2.0
# Copyright (c) 2023 Advanced Micro Devices, Inc.

obj-$(CONFIG_PDS_VFIO_PCI) += pds-vfio-pci.o

pds-vfio-pci-y := \
	cmds.o		\
	dirty.o		\
	lm.o		\
	pci_drv.o	\
	vfio_dev.o