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


** Tags removed: verification-needed-bionic
** Tags added: verification-done-bionic

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1822821

Title:
  TSC clocksource not available in nested guests

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1822821/+subscriptions

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to