Symbol: sdca_irq_request