C6748 不能通过设置EVTSET的方式触发中断

你好，为什么我在6748平台上无法用设置EVTSET的方式触发中断。

我用了一个32位的Timer, Event Id是4，每10秒触发一次，并且Event 4被映射到了INT12，板子运行状况和预想的一样，每10秒中断服务函数就会被调用一次，说明中断设置没有问题。
但我通过设置EVTSET的方法手工激活中断却不成功。
EVTSET0 = 0x00000010; // event 4对应的bit置为1
此语句执行后，EVTFLAG0的内容从0x00000000 变为 0x00000010，MEVTFLAG0的值也从0x00000000变为0x00000010。说明EVTSET0 = 0x00000010生效了。
但中断不能被触发，还是要等到下个10秒才触发。

希望您能给与帮助，谢谢。

Tony Tang：

IFR的INT12置位了吗？