Linux timer sources

Linux supports different timer sources and a machine can have multiple ones. How to find the available Linux timer source and the current one used?

Find the current timer source:

$ cat /sys/devices/system/clocksource/clocksource0/current_clocksource

Find all available timer sources:

$ cat /sys/devices/system/clocksource/clocksource0/available_clocksource