965d9c056d
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