K 10 svn:author V 3 bde K 8 svn:date V 27 1999-07-18T15:19:29.000000Z K 7 svn:log V 279 Don't let the machdep.tsc_freq sysctl proceed if the TSC is present but broken, since tsc_timecounter is not initialised in that case, and updating an uninitialised timecounter is fatal. Fixed style bugs in the machdep.i8254_freq and machdep.tsc_freq sysctls. Reviewed by: phk END