1# SPDX-License-Identifier: GPL-2.0-only
2obj-y			:= hv_init.o mmu.o nested.o irqdomain.o ivm.o
3obj-$(CONFIG_X86_64)	+= hv_apic.o hv_proc.o
4
5ifdef CONFIG_X86_64
6obj-$(CONFIG_PARAVIRT_SPINLOCKS)	+= hv_spinlock.o
7endif