CONFIG_PCI_XEN 4 arch/x86/include/asm/xen/pci.h #if defined(CONFIG_PCI_XEN) CONFIG_PCI_XEN 42 arch/x86/include/asm/xen/pci.h #if defined(CONFIG_PCI_XEN)