SYSBIOS+NDK怎么设置HWI和Cache？

[tr]使用的是TL6748-EVM开发板。在有sy***ios+NDK情况下，如何设置NDK以外的HWI和Cache，使HWI和Cache能正常工作？



我遇到串口中断不能正常的情况，也遇到EDMA3不能正常传输的问题。


那么NDK使用了哪些中断，哪个定时器在哪里能查到？在哪里配置的？