Symbol: ddb_irq_set