The DM6446 datasheet states that the DaVinci has two 64-bit general purpose timers built in (each of which can be used as two 32-bit timers), as well as one watchdog timer. Where can I find information on taking advantage of these within my Linux-based application? I've looked through the latest DVSDK and PSP but haven't seen any documentation on a "timer driver."
Thanks.