Symbol: irq_domain_is_msi