# CONFIG_PCI_MSI_IRQ_DOMAIN is not set