X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fiface-console.c;h=936449670d25053778e38e438ae36327eea99441;hb=c17cafcb6db943bd5bbb31d86f0392c113b2d668;hp=e91b46e9d831b5c32d8868f3fad516fb8c71dfe9;hpb=5c2a2684778fa080c41a0f04518721ebe476efb1;p=palacios.releases.git

diff --git a/linux_module/iface-console.c b/linux_module/iface-console.c
index e91b46e..9364496 100644
--- a/linux_module/iface-console.c
+++ b/linux_module/iface-console.c
@@ -417,6 +417,8 @@ static void palacios_tty_close(void * console) {
 
     remove_guest_ctrl(cons->guest, V3_VM_CONSOLE_CONNECT);
     deinit_queue(cons->queue);
+    
+    palacios_spinlock_deinit(&(cons->lock));
        
     palacios_free(cons);
 }