X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fkeyboard.c;h=2aa4bec562987f1a0153370e26fdddcb8dda1573;hb=b187d8db6f451cd5cea5452b284c3282dd5a4b67;hp=71bed117139bafe052b138359ac78c4acc60fa68;hpb=72420d58d18ec71d4777d029daaf0c6a1c820b32;p=palacios.releases.git

diff --git a/palacios/src/devices/keyboard.c b/palacios/src/devices/keyboard.c
index 71bed11..2aa4bec 100644
--- a/palacios/src/devices/keyboard.c
+++ b/palacios/src/devices/keyboard.c
@@ -957,8 +957,12 @@ static int keyboard_read_input(struct guest_info * core, ushort_t port, void * d
 
 
 
-static int keyboard_free(struct vm_device * dev) {
+static int keyboard_free(struct keyboard_internal * kbd) {
     
+
+    // unhook host events
+
+    V3_Free(kbd);
     return 0;
 }
 
@@ -1010,7 +1014,7 @@ static int keyboard_reset_device(struct keyboard_internal * kbd) {
 }
 
 static struct v3_device_ops dev_ops = { 
-    .free = keyboard_free,
+    .free = (int (*)(void *))keyboard_free,
 
 };