X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Flnx_virtio_vnet.c;h=69c183614dcc55b203b95dc912a53a5e0c310018;hb=f2474c56a820b000ed444cb31c487d67aaf212c5;hp=eb889edcb669b49ef42fe9879c96cc2a6b144f97;hpb=acaadd79c597c8d5180fbfbec79c01fef3dff003;p=palacios.git

diff --git a/palacios/src/devices/lnx_virtio_vnet.c b/palacios/src/devices/lnx_virtio_vnet.c
index eb889ed..69c1836 100644
--- 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;
 }