Re: [RFC PATCH 08/21] xen_platform: exclude vfio-pci from the PCI platform unplug

2022-12-05 Thread Philippe Mathieu-Daudé
On 5/12/22 18:31, David Woodhouse wrote: From: Joao Martins Such that PCI passthrough devices work for Xen emulated guests. Signed-off-by: Joao Martins Signed-off-by: David Woodhouse --- hw/i386/xen/xen_platform.c | 18 +++--- 1 file changed, 15 insertions(+), 3 deletions(-)

[RFC PATCH 08/21] xen_platform: exclude vfio-pci from the PCI platform unplug

2022-12-05 Thread David Woodhouse
From: Joao Martins Such that PCI passthrough devices work for Xen emulated guests. Signed-off-by: Joao Martins Signed-off-by: David Woodhouse --- hw/i386/xen/xen_platform.c | 18 +++--- 1 file changed, 15 insertions(+), 3 deletions(-) diff --git a/hw/i386/xen/xen_platform.c b/hw/