Timecounter "TSC" frequency 451024462

[Poul-Henning Kamp]

In message <xzpy90swq1i.fsf at flood.ping.uio.no>, Dag-Erling Smorgrav writes:

>You have a broken ACPI timer (Asus motherboard with Aladdin chipset?).
>The simplest solution is to disable the ACPI timer in loader.conf:
>
>debug.acpi.disable="timer"

Can't we find the pci ID's of the bridges affected by this so we can
do it automatically ?

-- 
Poul-Henning Kamp       | UNIX since Zilog Zeus 3.20
phk at FreeBSD.ORG         | TCP/IP since RFC 956
FreeBSD committer       | BSD since 4.3-tahoe    
Never attribute to malice what can adequately be explained by incompetence.