X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fkeyboard.c;h=2751cc0a96cdee9f097f9746d6bfe079a28afcd9;hb=1f8ac11d4550b1113d9a8c23e62b236cb8ad8404;hp=f0d0c3ad9924bd79ce14b81399070d22bf578c45;hpb=0ab9a336e36f49b43d9918c09087c6826ce04c83;p=palacios.git

diff --git a/palacios/src/devices/keyboard.c b/palacios/src/devices/keyboard.c
index f0d0c3a..2751cc0 100644
--- a/palacios/src/devices/keyboard.c
+++ b/palacios/src/devices/keyboard.c
@@ -1074,6 +1074,8 @@ static int keyboard_free(struct keyboard_internal * kbd) {
 
     // unhook host events
 
+    v3_lock_deinit(&(kbd->kb_lock));
+
     V3_Free(kbd);
     return 0;
 }