This clock jump by 2999 seconds also happened here, so per: http://old-list-archives.xen.org/archives/html/xen-devel/2011-02/msg01557.html
we switched to clocksource=pit in /etc/default/grub's $GRUB_CMDLINE_XEN on the dom0. This seemed to have avoided the problem, but since then, the clock jumps started happening like this: Dec 21 19:42:23 dom0machine kernel: [6034768.658836] Clocksource tsc unstable (delta = -811538856601 ns) In addition, now I checked what the said machine thinks is its clocksource: % cat /sys/devices/system/clocksource/clocksource0/current_clocksource /sys/devices/system/clocksource/clocksource0/available_clocksource xen xen So there's neither pit nor tsc in the available list :) -- 2. That which causes joy or happiness. -- To UNSUBSCRIBE, email to debian-kernel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20111228004915.ga21...@entuzijast.net