Index: sys/i386/i386/tsc.c =================================================================== --- sys/i386/i386/tsc.c (revision 216155) +++ sys/i386/i386/tsc.c (working copy) @@ -174,6 +174,9 @@ tsc_levels_changed(void *arg, int unit) int count, error; uint64_t max_freq; + if (tsc_is_invariant) + return; + /* Only use values from the first CPU, assuming all are equal. */ if (unit != 0) return; Index: sys/amd64/amd64/tsc.c =================================================================== --- sys/amd64/amd64/tsc.c (revision 216155) +++ sys/amd64/amd64/tsc.c (working copy) @@ -146,6 +146,9 @@ tsc_levels_changed(void *arg, int unit) int count, error; uint64_t max_freq; + if (tsc_is_invariant) + return; + /* Only use values from the first CPU, assuming all are equal. */ if (unit != 0) return;