> I have a double "hpet" entry in "available_clocksource": > $ cat /sys/devices/system/clocksource/clocksource0/available_clocksource > tsc hpet hpet acpi_pm jiffies
Oops. If seems that both drivers/char/hpet.c and arch/x86_64/kernel/hpet.c both register a clocksource named "hpet". Probably a result of bringing back to life a long lost patch, and having someone else (John Stultz, according to git blame) make a similar change to a different file in the intervening time. Presumably the thing to do would be merge the x86_64 specific version into the drivers/char/hpet.c version? -Tony - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/