Symbol: irqc_dbg