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)