Re: timecounters was Re:Fixes for acorn32 build after GCC4 upgrade

Ben Harris wrote:

> In case you hadn't noticed, I've committed that.  I suspect there may be 
> circumstances where not checking the interrupt-pending flag will cause it 
> to give the wrong answer, but they're likely to be very rare.
> 
I did notice thanks for doing that. I thought there was probably a good 
reason for taking the int-pending flag into consideration which is why I 
  left some TODO comments in there as a reminder to myself to revisit it 
later.

Mike