Re: [Xen-devel] [PATCH v3 for-4.9 0/3] libxl/devd: bugfixes

[Ian Jackson <ian.jackson@xxxxxxxxxxxxx>]

Julien Grall writes ("Re: [PATCH v3 for-4.9 0/3] libxl/devd: bugfixes"):
> On 17/05/17 15:02, Julien Grall wrote:
> > For the last patch, at this stage of the release I would prefer to defer
> > it for Xen 4.10.

After reviewing these, I'd like to make a case for the third patch for
4.9:

I haven't quite managed to prove to myself that the 3rd patch is a
no-op.  But this is because I haven't quite proved to myself that the
code _before_ the 3rd patch is correct.

The code _after_ the 3rd patch seems more obviously correct to me.  Ie
I think the risk of bugs is lower with the 3rd patch than without
(even after the first two patches).

Ian.

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
https://lists.xen.org/xen-devel