:~/Desktop>cat /sys/devices/system/clocksource/clocksource0/available_clocksource
tsc hpet acpi_pm
:~/Desktop>cat /sys/devices/system/clocksource/clocksource0/current_clocksource
tsc

设置HPET为当前时钟源

echo 'tsc' > /sys/devices/system/clocksource/clocksource0/current_clocksource

 

查看timer信息:

cat /proc/timer_list