CC3200不能进入定时器中断，求问题查找和解决方法

我所使用的CC3200 LaunchPad，在编程调试过程中发现有时不能进入定时器中断。即运行程序以后定时器中断处理函数中的断点无法触发。

和定时器相关的设置代码如下：

PRCMPeripheralClkEnable(PRCM_TIMERA0, PRCM_RUN_MODE_CLK);
PRCMPeripheralReset(PRCM_TIMERA0);

TimerConfigure(TIMERA0_BASE, TIMER_CFG_PERIODIC);
TimerPrescaleSet(TIMERA0_BASE, TIMER_A, 0);

TimerIntRegister(TIMERA0_BASE, TIMER_A, Timer1AIntHandler);
TimerIntEnable(TIMERA0_BASE, TIMER_TIMA_TIMEOUT);

TimerLoadSet(TIMERA0_BASE, TIMER_A, SEC);
TimerEnable(TIMERA0_BASE, TIMER_A);

很奇怪的是问题的发生是不确定的，有时能进入中断有时又不能进入，不知道怎么排查错误，包括硬件的和软件的。

请有这方面经验的朋友给予帮助。谢谢！