Lock bugfixes - missing lock deinits This also adds deinit calls in the linux_module...

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

diff --git a/palacios/src/devices/lnx_virtio_nic.c b/palacios/src/devices/lnx_virtio_nic.c
index da3dd9d..7ead43d 100644 (file)
--- a/palacios/src/devices/lnx_virtio_nic.c
+++ b/palacios/src/devices/lnx_virtio_nic.c
@@ -753,6 +753,9 @@ static int virtio_free(struct virtio_dev_state * virtio) {
        V3_Free(backend);
     }
 
+    v3_lock_deinit(&(virtio->rx_lock));
+    v3_lock_deinit(&(virtio->tx_lock));
+
     V3_Free(virtio);
 
     return 0;