K 10
svn:author
V 3
alc
K 8
svn:date
V 27
1999-05-11T01:54:52.000000Z
K 7
svn:log
V 306
The Intel Pentium Pro's performance counters are 40 bits wide.  The Intel
manuals specifically say that reading the counters using the rdmsr
instruction returns a 64 bit value of which the higher 24 bits are
undefined. The code that reads the counters should then clear the
high 24 bits.

PR:		 i386/10632

END