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