Symbol: irq_trace