632e5d39f7
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. |
||
---|---|---|
.. | ||
acpica | ||
bios | ||
compile | ||
conf | ||
cpufreq | ||
i386 | ||
ibcs2 | ||
include | ||
isa | ||
linux | ||
pci | ||
svr4 | ||
xbox | ||
Makefile |