Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=244697
--- Comment #18 from Miloslav Trmač mitr@redhat.com 2010-01-08 13:33:28 EDT --- Reproduced again on kernel-2.6.31.9-174.fc12.x86_64 , took less than 5 seconds.
1262975533.999822647 1262975534 1262975533.999822647
$ cat /sys/devices/system/clocksource/clocksource0/available_clocksource hpet acpi_pm [mitr@kulicka t]$ cat /sys/devices/system/clocksource/clocksource0/current_clocksource hpet