--- Comment #41 from Roger Pau Monné <> ---
Can you try to change the event timer and the time counter to a different one
than the Xen one:

# sysctl -w kern.timecounter.hardware=ACPI-fast
# sysctl -w kern.eventtimer.timer=LAPIC

And finally I'm also attaching a patch that actually disables all the fancy PV
stuff completely, could you also patch your kernel with it (if the above things
don't make a difference) and see if that makes a difference?

Thanks, Roger.

You are receiving this mail because:
You are the assignee for the bug.
_______________________________________________ mailing list
To unsubscribe, send any mail to ""

Reply via email to