gistfile1.txt

dmesg |grep -e clocksource -e hpet -e tsc -i
[    0.000000] ACPI: HPET 00000000bee1c330 00038 (v01 ALASKA    A M I 01072009 AMI. 00000004)
[    0.000000] ACPI: HPET id: 0x8086a701 base: 0xfed00000
[    0.000000] hpet clockevent registered
[    0.000000] Fast TSC calibration using PIT
[    0.626892] hpet0: at MMIO 0xfed00000, IRQs 2, 8, 0, 0, 0, 0, 0, 0
[    0.626896] hpet0: 8 comparators, 64-bit 14.318180 MHz counter
[    0.628901] Switching to clocksource hpet
[    1.098399] rtc0: alarms up to one month, y3k, 114 bytes nvram, hpet irqs
[    2.093533] Refined TSC clocksource calibration: 3602.055 MHz.
[    2.093541] Switching to clocksource tsc