On Fri, Aug 24, 2007 at 10:18:47PM +0200, Luca wrote: > On 8/23/07, Dan Kenigsberg <[EMAIL PROTECTED]> wrote: > > On Thu, Aug 23, 2007 at 12:09:47AM +0200, Andi Kleen wrote: > > > > $ dmesg |grep -i hpet > > > > ACPI: HPET 7D5B6AE0, 0038 (r1 A M I OEMHPET 5000708 MSFT 97) > > > > ACPI: HPET id: 0x8086a301 base: 0xfed00000 > > > > hpet0: at MMIO 0xfed00000, IRQs 2, 8, 0, 0 > > > > hpet0: 4 64-bit timers, 14318180 Hz > > > > hpet_resources: 0xfed00000 is busy > > > > > > What kernel version was that? There was a bug that caused this pre .22 > > > > > > > I have vanilla 2.6.22.3 on that machine. > > Try: > cat /sys/devices/system/clocksource/clocksource0/available_clocksource > > do you see HPET listed twice? > No, only once. Is that wrong?
# cat /sys/devices/system/clocksource/clocksource0/available_clocksource hpet acpi_pm jiffies tsc # cat /sys/devices/system/clocksource/clocksource0/current_clocksource tsc Dan.
