K 10
svn:author
V 3
njl
K 8
svn:date
V 27
2004-04-22T01:50:08.000000Z
K 7
svn:log
V 231
Fix stepping in ddb by not checking for a maximum interval.  The ACPI-safe
workaround was for hardware where the clock was not latched, not for
hardware that was too slow.  Also, make variable names more specific for ddb
printing.

END