Time Counters

It is useful to have free running timers which do not generate interrupts, but are simply read. (For example, a 32bit counter self-incrementing once a micro-second). Such counters are useful for performance measurements. It is desirable that such a counter be readable from user space. (But such a user space read must not have any side-effects on the clock or any other device).