X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Flnx_virtio_nic.c;h=7ead43d39d820281441c364aa63227cb6a620ed3;hb=e26f7efb461ea8fba7eb0fd14809618c22dd475b;hp=da3dd9de1754cb847963b0a9ada9c23760b5a4e4;hpb=acaadd79c597c8d5180fbfbec79c01fef3dff003;p=palacios.git

diff --git a/palacios/src/devices/lnx_virtio_nic.c b/palacios/src/devices/lnx_virtio_nic.c
index da3dd9d..7ead43d 100644
--- 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;