通常裸机的代码在定时器中断服务程序里面都有这么两行
IntEventClear(SYS_INT_T64P2_TINTALL);
TimerIntStatusClear(SOC_TMR_2_REGS, TMR_INT_TMR12_NON_CAPT_MODE);
1、现在使用SYS/BIOS来建立工程，用XDC工具配置的定时器参数，也需要加这两行么？为什么我看的SYS/BIOS (TI-RTOS Kernel) v6.41，连着两行都没有。
2、如果需要清除中断标志，那么这个SYS/BIOS下的该怎么写？如果也写成
IntEventClear(SYS_INT_T64P2_TINTALL);
TimerIntStatusClear(SOC_TMR_2_REGS, TMR_INT_TMR12_NON_CAPT_MODE);
那么还要调用非SYS/BIOS的文件和库，明显很别扭。
3、文档说定时器会绑定一个Hwi（XDC定时器配置有这个Hwi number选项），如果选择默认，不绑定可以么？对中断服务程序有何影响。
