I think this is really a DSP/BIOS question but there is no forum dedicated to that so this seems to be the next closest place [:)]
I'm programming a C6747 with DSP/BIOS and using the CLK module to generate system ticks. I select either Timer0 or Timer1 to do this and allow BIOS to program it. In my code, I want to set up a watchdog timer using Timer1. But as a check I want to make sure the CLK module is NOT using Timer1 and if it is, LOG_printf a warning without setting up the watchdog. How can I determine which Timer the CLK module is using during execution so I don't mistakenly clobber it when setting up the watchdog?? I've already done this one with catastrophic results that took a long time to debug. I don't want to have it happen again.
thanks,
Mike