This might be related:
On another try, xm dmesg complains that the platform times (ACPI PM) has
wrapped unexpectedly 10 or more times. So is it possible that this is a
clocksource issue after all?
Is this a comprehensive list of clocksources that Xen supports?
Xen-devel mailing list