shell > cat /sys/devices/system/clocksource/clocksource0/current_clocksource
tsc