Only allow CONFIG_XEN when not CONFIG_COREBOOT.
[seabios.git] / src / pci_region.c
2010-11-13 Isaku Yamahatapci: introduce pci_region to manage pci io/memory/prefm...