Re: rdmsr(MSR_TSC) vs rdtsc

[Manuel Bouyer <bouyer%antioche.eu.org@localhost>]

On Wed, Feb 02, 2011 at 10:23:58AM +0000, Andrew Doran wrote:
> On Tue, Feb 01, 2011 at 06:47:31PM +0100, Manuel Bouyer wrote:
> > On Mon, Jan 31, 2011 at 11:22:38AM +0000, Andrew Doran wrote:
> > > > How could this be fixed ? I guess we'll have to use rdmsr(MSR_TSC)
> > > > or cpu_counter() depending on the CPU ?
> > > 
> > > How about another routine like cpu_counter_serializing() or something
> > > that does a test and picks which one to use?
> > 
> > maybe somthing lilke the attached patch ?
> 
> Looks fine to me, thanks.

Commited.

-- 
Manuel Bouyer <bouyer%antioche.eu.org@localhost>
     NetBSD: 26 ans d'experience feront toujours la difference
--