# SPDX-License-Identifier: GPL-2.0
obj-$(CONFIG_IRQ_REMAP) += hv-irq-remap-x86.o
obj-$(CONFIG_HYPERV_PVIOMMU) += hv-iommu-guest.o