>>> On 22.02.19 at 11:42, <roger....@citrix.com> wrote: > Jan do you know whether pci_remove_device is supposed to be used > against devices assigned to a domain different than the hardware > domain?
No, I don't think it ought to be used on any other devices. I guess the omission of the check goes back to assuming sane Dom0 behavior, properly de-assigning devices before hot-unplugging them, and hence before invoking the respective physdev-ops. Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
