I am trying to set-up a timer interrupt on an ADuC702x (ARM7TDMI) based system. I have configured the Timer, and enabled the interrupt in IRQEN. I can see that the timer is counting, and I have coded my project so that the correct interrupt handler is called. However, the interrupt never fires. What could be wrong?