Symbol: sdca_irq_allocate