diff --git a/devicemodel/hw/pci/core.c b/devicemodel/hw/pci/core.c index 1b7a7606b..6cd30553a 100644 --- a/devicemodel/hw/pci/core.c +++ b/devicemodel/hw/pci/core.c @@ -1272,6 +1272,9 @@ deinit_pci(struct vmctx *ctx) func, fi); } } + + pci_businfo[bus] = NULL; + free(bi); } }