PCI Fix: do not let buggy guest turn off I/O bit in an I/O BAR

[palacios.git] / palacios / src / devices / lnx_virtio_vnet.c

diff --git a/palacios/src/devices/lnx_virtio_vnet.c b/palacios/src/devices/lnx_virtio_vnet.c
index eb889ed..69c1836 100644 (file)
--- a/palacios/src/devices/lnx_virtio_vnet.c
+++ b/palacios/src/devices/lnx_virtio_vnet.c
@@ -552,7 +552,10 @@ static int virtio_free(struct virtio_vnet_state * vnet_state) {
 
     // unregister from PCI
 
+    v3_lock_deinit(&(vnet_state->lock));
+
     V3_Free(vnet_state);
+
     return 0;
 }