22.18. Configuring Clock Sources

To list the available clock sources on your system, issue the following commands:
~]$ cd /sys/devices/system/clocksource/clocksource0/
clocksource0]$ cat available_clocksource
kvm-clock tsc hpet acpi_pm 
clocksource0]$ cat current_clocksource
kvm-clock
In the above example, the kernel is using kvm-clock. This was selected at boot time as this is a virtual machine.
To override the default clock source, add a line similar to the following in grub.conf:
clocksource=tsc
The available clock source is architecture dependent.