柳澤です。

On Thu, 19 Oct 2006 14:37:23 +0900
SHINODA Masanori <[EMAIL PROTECTED]> wrote:
 
<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CLFLUSH,DTS,A
> と、CPU のクロックは間違っていませんでした。(実際、CeleronD 2.53GHz
> が載ってます)
> 
> ↓こっちのクロック数が間違ってるんでしょうか?
> Timecounter "i8254" frequency 1193182 Hz quality 0

時計としてはsysctlのkern.timecounter.hardwareで選ばれたものが
使われると思いますので (sys/kern/time_tc.c)、必ずしもi8254ではないと
思います。もし、ACPI-fast等のi8254以外の値が選ばれていて、
i8254の方が正しいと思うならば、sysctlでkern.timecounter.choiseに
i8254があることを確認した上で
# sysctl kern.timecounter.hardware = i8254
を実行してみるのも手かも知れません。

TSCが(-100)なのはcpufreqがあるからなんでしょうね。
ACPI-fastが(1000)の理由はACPIに明るくないのでわかりません。

-- 
-------------------------------------------------------
Yoshisato YANAGISAWA <[EMAIL PROTECTED]>
Dept. of Mathematical and Computing Sciences,
Graduate School of Information Science and Engineering,
Tokyo Institute of Technology.
/* If you are an *BSD user, let's join http://bsdstats.org/ */

メールによる返信