#       $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