Validated on linux 4.15.0-49.53 from bionic-proposed:
ubuntu@bionic-l2:~$ uname -r 4.15.0-49-generic
ubuntu@bionic-l2:~$ cat /sys/devices/system/clocksource/clocksource0/available_clocksource kvm-clock tsc hpet acpi_pm
ubuntu@bionic-l2:~$ dmesg | grep -i tsc [ 0.040000] tsc: Detected 1997.765 MHz processor [ 1.310296] clocksource: tsc: mask: 0xffffffffffffffff max_cycles: 0x3997de66ec2, max_idle_ns: 881590642279 ns
Validated on linux 4.15.0-49.53 from bionic-proposed:
ubuntu@bionic-l2:~$ uname -r
4.15.0-49-generic
ubuntu@bionic-l2:~$ cat /sys/devices/ system/ clocksource/ clocksource0/ available_ clocksource
kvm-clock tsc hpet acpi_pm
ubuntu@bionic-l2:~$ dmesg | grep -i tsc
[ 0.040000] tsc: Detected 1997.765 MHz processor
[ 1.310296] clocksource: tsc: mask: 0xffffffffffffffff max_cycles: 0x3997de66ec2, max_idle_ns: 881590642279 ns