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

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

The following reply was made to PR port-xen/47057; it has been noted by GNATS.

From: =?UTF-8?Q?Roger_Pau_Monn=C3=A9?= <royger%NetBSD.org@localhost>
To: Manuel Bouyer <bouyer%antioche.eu.org@localhost>
Cc: =?UTF-8?Q?Roger_Pau_Monn=C3=A9?= <roger.pau%citrix.com@localhost>, 
        "gnats-bugs%NetBSD.org@localhost" <gnats-bugs%netbsd.org@localhost>, 
        "port-xen-maintainer%netbsd.org@localhost" 
<port-xen-maintainer%netbsd.org@localhost>, 
        "gnats-admin%netbsd.org@localhost" <gnats-admin%netbsd.org@localhost>, 
"netbsd-bugs%netbsd.org@localhost" <netbsd-bugs%netbsd.org@localhost>
Subject: Re: port-xen/47057: Xen NetBSD DomU file system trash under Linux Dom0
Date: Mon, 22 Oct 2012 10:03:35 +0200

 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.