https://bugs.freedesktop.org/show_bug.cgi?id=35460

--- Comment #15 from Bruno bonbons67@internet.lu 2011-12-08 01:50:04 PST --- (In reply to comment #14)

Created attachment 53954 [details] [review] use wmb to flush the wc cache

Hi Bruno, can you please test whether this patch works, too. I think this is the better solution, on reconsideration the last patch is a bit confusing and might fix the issue just as a side-effect.

Hi Daniel,

Running for a week now with this patch instead of the other one and have not seen cursor corruptions.

Thanks for your efforts!