I wanted to mention that installing v4.16-rc4 from http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.16-rc4/ solved the problem for me.
# uname -a Linux de2 4.16.0-041600rc4-generic #201803041930 SMP Mon Mar 5 00:32:34 UTC 2018 x86_64 x86_64 x86_64 GNU/Linux # dmesg | grep Xen ... [ 0.000000] Hypervisor detected: Xen PV [ 0.000000] Setting APIC routing to Xen PV. [ 0.000000] Booting paravirtualized kernel on Xen [ 0.000000] Xen version: 4.9.0 (preserve-AD) [ 0.004000] Xen: using vcpuop timer interface
I wanted to mention that installing v4.16-rc4 from http:// kernel. ubuntu. com/~kernel- ppa/mainline/ v4.16-rc4/ solved the problem for me.
# uname -a 041600rc4- generic #201803041930 SMP Mon Mar 5 00:32:34 UTC 2018 x86_64 x86_64 x86_64 GNU/Linux
Linux de2 4.16.0-
# dmesg | grep Xen
...
[ 0.000000] Hypervisor detected: Xen PV
[ 0.000000] Setting APIC routing to Xen PV.
[ 0.000000] Booting paravirtualized kernel on Xen
[ 0.000000] Xen version: 4.9.0 (preserve-AD)
[ 0.004000] Xen: using vcpuop timer interface