Mike Smith 787fa5b805 Implement a "proper" timecounter hung off the ACPI timer device.
This code is based on the mp_clock code by phk.  It attempts to
detect the PIIX4 (see comments for details) and use a workaround
for its problems.

This code is experimental, and could use some testing and review by a
timekeeping enthusiast.
2001-07-21 04:08:42 +00:00
..
2001-07-15 08:21:37 +00:00
2001-06-11 12:39:29 +00:00
2001-06-14 11:05:01 +00:00
2001-07-04 20:14:59 +00:00
2001-07-04 20:14:59 +00:00