$ dmesg | grep tsc
[ 0.000000] tsc: Unable to calibrate against PIT
[ 0.000000] tsc: using HPET reference calibration
[ 0.000000] tsc: Detected 4008.361 MHz processor
[ 1.608138] tsc: Refined TSC clocksource calibration: 4008.029 MHz
[ 1.608140] clocksource: tsc: mask: 0xffffffffffffffff max_cycles: 0x39c5fcfe866, max_idle_ns: 440795249027 ns
[ 2.608431] clocksource: Switched to clocksource tsc
Unable to calibrate against PIT
?