kern/40213: my i386 machine can't boot because of tsc

[Ryo HAYASAKA <ryoh%jaist.ac.jp@localhost>]

>Number:         40213
>Category:       kern
>Synopsis:       my i386 machine can't boot because of tsc
>Confidential:   no
>Severity:       serious
>Priority:       high
>Responsible:    kern-bug-people
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Wed Dec 17 20:40:00 +0000 2008
>Originator:     Ryo HAYASAKA
>Release:        NetBSD 5.99.5
>Organization:
Japan Advanced Institute of Science and Technology (JAIST)
>Environment:
System: NetBSD bonnie.jaist.ac.jp 5.99.5 NetBSD 5.99.5 (BONNIE) #14: Thu Dec 18 
04:44:56 JST 2008 
root%bonnie.jaist.ac.jp@localhost:/usr/src/sys/arch/i386/compile/BONNIE i386
Architecture: i386
Machine: i386
>Description:
The kernel using after revision 1.21 of /sys/arch/x86/x86/tsc.c can't
boot up.  The machine is rebooted as soon as probing timecounter in the
bootstrap process.

The revision 1.20 of it is OK.

The following is the part of boot messages of my machine when the
revision 1.20 of tsc.c is used:

Copyright (c) 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
    2006, 2007, 2008
    The NetBSD Foundation, Inc.  All rights reserved.
Copyright (c) 1982, 1986, 1989, 1991, 1993
    The Regents of the University of California.  All rights reserved.

NetBSD 5.99.5 (BONNIE) #14: Thu Dec 18 04:44:56 JST 2008
        root%bonnie.jaist.ac.jp@localhost:/usr/src/sys/arch/i386/compile/BONNIE
total memory = 2047 MB
avail memory = 2003 MB
timecounter: Timecounters tick every 10.000 msec
timecounter: Timecounter "i8254" frequency 1193182 Hz quality 100
MICRO-STAR INTERNATIONAL CO., LTD MS-7125 (3.0)
mainbus0 (root)
cpu0 at mainbus0 apid 0: AMD 686-class, 2411MHz, id 0x20fb1
cpu1 at mainbus0 apid 1: AMD 686-class, 2411MHz, id 0x20fb1
ioapic0 at mainbus0 apid 2: pa 0xfec00000, version 11, 24 pins
acpi0 at mainbus0: Intel ACPICA 20080321
acpi0: X/RSDT: OemId <Nvidia,AWRDACPI,42302e31>, AslId <AWRD,00000000>
acpi0: SCI interrupting at int 9
acpi0: fixed-feature power button present
timecounter: Timecounter "ACPI-Fast" frequency 3579545 Hz quality 1000
ACPI-Fast 24-bit timer
acpibut0 at acpi0 (PWRB, PNP0C0C): ACPI Power Button
attimer1 at acpi0 (TMR, PNP0100): AT Timer
attimer1: io 0x40-0x43 irq 0
...

>How-To-Repeat:
        
>Fix: