Symbol: msi_allocate_irq