Solution:
Edit /etc/sysctl.confand add
xen.independent_wallclock=1Then reload sysctl.conf with “sysctl -p”
Sometimes you also might need to do is append jiffies to the current clock source
echo "jiffies" >> /sys/devices/system/clocksource/clocksource0/current_clocksource