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 |
||
---|---|---|
.. | ||
devices.i386 | ||
files.i386 | ||
GENERIC | ||
kernel.script | ||
LINT | ||
majors.i386 | ||
Makefile.i386 | ||
NOTES | ||
options.i386 | ||
PCCARD |