CPU frequency detection error?

[Tz-Huan Huang]

On Sun, Mar 9, 2008 at 8:19 PM, Rui Paulo <rpaulo at freebsd.org> wrote:
>  Escape to the boot loader prompt and type:
>  set kern.hz=100
>  boot
>
>  And then show us your dmesg again, please.

When booting with verbose enabled (with kern.hz=100), the dmesg shows

Calibrating clock(s) ... i8254 clock: 787497 Hz
787497 Hz differs from default of 1193182 Hz by more than 1%
Timecounter "i8254" frequency 1193182 Hz quality 0
Calibrating TSC clock ... TSC clock: 3693733736 Hz
CPU: Intel(R) Xeon(R) CPU           E5345  @ 2.33GHz (3693.73-MHz K8-class CPU)

(The full dmesg is available here:
http://w.csie.org/~tzhuan/tmp/dmesg-100-v.txt)

The i8254 clock is set back to default value after calibrating.
Is it reasonable or is there something wrong with IBM x3550?
Thank you very much.

Tz-Huan