Hardware Timer Access - Undocumented

The description of the Real Time Forum says,

But I can’t see any documentation anywhere about Hardware Timers - let alone how to access them!

In fact, not even anyone in the above-mentioned forum seems to know anything:

wavecom.com/modules/movie/sc … .php?t=415