Subject: Re: timecounters was Re:Fixes for acorn32 build after GCC4 upgrade
To: Ben Harris <bjh21@NetBSD.org>
From: Mike Pumford <mpumford@black-star.demon.co.uk>
List: port-acorn32
Date: 08/05/2006 19:52:27
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