Symbol: sdca_irq_request_locked