#	$NetBSD: files.xen.pv,v 1.3 2020/05/05 17:02:01 bouyer Exp $

file	arch/xen/x86/autoconf.c		xenpv
file	arch/xen/x86/x86_xpmap.c	xenpv
file	arch/xen/x86/xen_pmap.c		xenpv
file	arch/xen/x86/xenfunc.c		xenpv
file	arch/xen/xen/xen_acpi_machdep.c	acpi & xenpv

file	arch/xen/x86/consinit.c		machdep & xenpv
file	arch/xen/x86/pintr.c		machdep & dom0ops & xenpv

file	arch/xen/x86/xen_ipi.c			multiprocessor & xenpv

include "arch/xen/conf/files.compat"

#
# System bus types
#

# PCI frontend
device xpci: pcibus
attach xpci at xenbus with xpci_xenbus
file	arch/xen/xen/xpci_xenbus.c	xpci_xenbus

# Xen Balloon driver
device	balloon
attach	balloon at xenbus
file	arch/xen/xen/balloon.c		balloon

device	pciback {unit = -1}
attach	pciback at pci
file	arch/xen/xen/pciback.c		pciback

device vcpu
attach vcpu at xendevbus
file	arch/xen/x86/cpu.c		xenpv & vcpu

defflag	opt_xen.h			XENPV