K 10
svn:author
V 3
phk
K 8
svn:date
V 27
1999-09-20T07:52:39.000000Z
K 7
svn:log
V 354
On PIIX4 based SMP systems use the PMTMR register for timecounting.

It is about 2.5 microseconds or roughly 3 times faster to use this
"PIIX" timecounter than the "i8254" timecounter.  Resolution is
also 3 times better.

The code cheats and don't register the PCI device, because other pieces
of code want to use it too.

Originally spotted by:  msmith

END