On Tue, Nov 12, 2002 at 05:18:13PM +0100, Poul-Henning Kamp wrote: > Are you saying that the i8254 also runs twice as fast as it should ?
It looks like it. Here is some additional output from dmesg. Does it give a clue? Calibrating clock(s) ... TSC clock: 400911902 Hz, i8254 clock: 1193190 Hz CLK_USE_I8254_CALIBRATION not specified - using default frequency Timecounter "i8254" frequency 1193182 Hz CLK_USE_TSC_CALIBRATION not specified - using old calibration method [snip] ACPI timer looks BAD min = 0, max = 5, width = 6 ACPI timer looks BAD min = 0, max = 16777210, width = 16777211 ACPI timer looks BAD min = 1, max = 16777215, width = 16777215 ACPI timer looks BAD min = 2, max = 16777204, width = 16777203 ACPI timer looks BAD min = 0, max = 16777215, width = 16777216 ACPI timer looks BAD min = 0, max = 16777215, width = 16777216 ACPI timer looks BAD min = 2, max = 16777210, width = 16777209 ACPI timer looks BAD min = 2, max = 16777208, width = 16777207 ACPI timer looks BAD min = 0, max = 16777208, width = 16777209 ACPI timer looks BAD min = 2, max = 16777215, width = 16777214 Timecounter "ACPI-safe" frequency 3579545 Hz acpi_timer0: <24-bit timer at 3.579545MHz> port 0xec08-0xec0b on acpi0 acpi_cpu0: <CPU> on acpi0 [snip] Timecounters tick every 10.000 msec -- Craig Rodrigues http://www.gis.net/~craigr [EMAIL PROTECTED] To Unsubscribe: send mail to [EMAIL PROTECTED] with "unsubscribe freebsd-current" in the body of the message