Symbol: arm_tmr_irq