On Thu, 2015-04-09 at 16:09 +0100, Julien Grall wrote: > From: Julien Grall <julien.gr...@linaro.org> > > A device node is described by a path. It will be used to retrieved the
"retrieve" > node in the device tree and assign the related device to the domain. > > Only non-PCI protected by an IOMMU can be assigned to a guest. I think a word is missing between PCI and protected, perhaps "devices"? > Also document the behavior of XEN_DOMCTL_deassign_device in the public > headers which differ between non-PCI and PCI. > > Signed-off-by: Julien Grall <julien.gr...@linaro.org> > Acked-by: Jan Beulich <jbeul...@suse.com> > Cc: Ian Jackson <ian.jack...@eu.citrix.com> > Cc: Wei Liu <wei.l...@citrix.com> With the above fixed: Acked-by: Ian Campbell <ian.campb...@citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
