I am using a C5515 along with DSP/BIOS. The C5515 has three timer/counters but only one interrupt line to the CPU. Since the DSP/BIOS uses one of the timers for the CLK module, it has defined the ISR for the timer interrupt. Does the ISR for the DSP/BIOS support the other two timer interrupts?