K 10
svn:author
V 3
phk
K 8
svn:date
V 27
2008-03-26T15:03:24.000000Z
K 7
svn:log
V 179
Rename timer0_max_count to i8254_max_count.
Rename timer0_real_max_count to i8254_real_max_count and make it static.
Rename timer_freq to i8254_freq and make it a loader tunable.

END