64-bit values in sysctl

[Dag-ErlingSmørgrav]

Bruce Cran <bruce at cran.org.uk> writes:
> I've also noticed that the machdep.[i8254_freq, tsc_freq,
> acpi_timer_freq] are all writable, whereas I think they should
> probably be read-only, as should kern.bootfile.

These are all intentionally writable.  The timer frequencies need to
be writable to allow proper operation on systems with broken hardware
clocks, and kern.bootfile is updated by 'make installkernel' when the
current kernel is moved aside to make place for the new one.

DES
-- 
Dag-Erling Smørgrav - des at des.no