[libvirt] Xen 4.0 and DPCI key in sexpr

[Jim Fehlig]

Matthias Bolte wrote:
> I assisted him in debugging and used the Xen 4.0 tarball [1] as basis
> to look at the code. I think that's the stable version. Therefore, I
> think this PCI passthrough problem is not related to "CPU pools".
>   

Oh, I wasn't suggesting the problems are related.  I was just curious
why the xen-domctl-ver7.patch was needed for official Xen4.0 release
when it doesn't have the change to domctl interface.

Regards,
Jim