Re: [PATCH 13/22] vfio-user/pci.c: rename VFIOUserPCIDevice device field to parent_obj

2025-07-15 Thread John Levon
On Tue, Jul 15, 2025 at 10:25:53AM +0100, Mark Cave-Ayland wrote: > Now that nothing accesses the device field directly, rename device to > parent_obj as per our current coding guidelines. > > Signed-off-by: Mark Cave-Ayland > --- > hw/vfio-user/pci.c | 2 +- > 1 file changed, 1 insertion(+), 1

Re: [PATCH 13/22] vfio-user/pci.c: rename VFIOUserPCIDevice device field to parent_obj

2025-07-15 Thread Philippe Mathieu-Daudé
On 15/7/25 11:25, Mark Cave-Ayland wrote: Now that nothing accesses the device field directly, rename device to parent_obj as per our current coding guidelines. Signed-off-by: Mark Cave-Ayland --- hw/vfio-user/pci.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hw/vfio-

[PATCH 13/22] vfio-user/pci.c: rename VFIOUserPCIDevice device field to parent_obj

2025-07-15 Thread Mark Cave-Ayland
Now that nothing accesses the device field directly, rename device to parent_obj as per our current coding guidelines. Signed-off-by: Mark Cave-Ayland --- hw/vfio-user/pci.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hw/vfio-user/pci.c b/hw/vfio-user/pci.c index e23a9416