Searched refs:pci_seg_supported (Results 1 – 2 of 2) sorted by relevance
34 static bool __read_mostly pci_seg_supported = true; variable44 if (pci_seg_supported) { in xen_add_device()108 pci_seg_supported = false; in xen_add_device()154 if (pci_seg_supported) { in xen_remove_device()
264 static bool __read_mostly pci_seg_supported = true; variable311 if (pci_seg_supported) in xen_initdom_setup_msi_irqs()332 pci_seg_supported = false; in xen_initdom_setup_msi_irqs()356 if (pci_seg_supported) { in xen_initdom_restore_msi_irqs()365 pci_seg_supported = false; in xen_initdom_restore_msi_irqs()368 if (!pci_seg_supported) { in xen_initdom_restore_msi_irqs()