Symbol: xa_alloc_irq