This could be an embarassing question, but I seem to be good at asking those anyway. A lot more MIPS processors lately seem to come with multiple timers. In addition to the main HPT timer on R4K variants and above, usually there are 2 or 3 additional 16 or 32-bit timers with prescalars and other features. Some drivers may decide to use one of these timers exclusively and I am sure there are many other uses as well. There does not seem to be any type of API or reservation system to cleanly utilize the timers present in the system. Actually, on a lot of my boards the added timers do not get any usage, but perhaps that could change. Has anyone given thought to this, or does it just seem pointless? Thanks.
-Steve