K 10
svn:author
V 6
msmith
K 8
svn:date
V 27
2001-07-21T04:08:42.000000Z
K 7
svn:log
V 308
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.

END