Call for testers: new pci code

[Matthew Dillon]

:>    There is an ACPI entry for the HPET but I don't see any recognition of
:>    it as a clock source.
:
:Ah, you need to set tunable:
:debug.acpi.enabled="hpet"
:
:Best Regards,
:sephe

    Here's the boot with the HPET recognized (a bit cutoff, my dmesg
    buffer isn't big enough):

	fetch http://apollo.backplane.com/DFlyMisc/dmesg03.boot

    And kern.cputimer:

	test29:/root# sysctl kern.cputimer
	kern.cputimer.intr.select: lapic
	kern.cputimer.intr.freq: 100000502
	kern.cputimer.intr.reglist: lapic i8254
	kern.cputimer.freq: 25000000
	kern.cputimer.clock: 2883370353
	kern.cputimer.name: HPET
	kern.cputimer.select: HPET ACPI-safe24 i8254_timer2 dummy

					-Matt
					Matthew Dillon 
					<dillon at backplane.com>