Symbol: xa_alloc_cyclic_irq