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

diff --git a/linux_module/iface-console.c b/linux_module/iface-console.c
index e91b46e..0f5bd23 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);
 }
@@ -444,13 +446,18 @@ static int console_init( void ) {
     return 0;
 }
 
+static int console_deinit(void)
+{
+    // nothing to do
+    return 0;
+}
 
 
 
 static struct linux_ext console_ext = {
     .name = "CONSOLE",
     .init = console_init,
-    .deinit = NULL,
+    .deinit = console_deinit,
     .guest_init = NULL,
     .guest_deinit = NULL
 };