Re: port-xen/47057: Xen NetBSD DomU file system trash under Linux Dom0

[Roger Pau Monné <royger%NetBSD.org@localhost>]

On Sun, Oct 21, 2012 at 8:31 PM, Manuel Bouyer 
<bouyer%antioche.eu.org@localhost> wrote:
> You can also try the attached patch, which should catch a mapping to
> the same store's ma via regular pmap functons. If it's something more
> clever, we'll need a more clever checks ...

No luck with this either. I've also found sporadic:

evtchn_do_event: handler 0xffffffff801206a7 didn't lower ipl 8 7

Which I would say it's not related to the problem at hand (because
some times I get the corruption without seeing this message), the
handler in question is xen_timer_handler, which doesn't set any spl
levels directly, although the mutex tmutex sets IPL_CLOCK.