X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fos_debug.c;h=97cdabc30cd5ec8e293e0d5f1f94e34f5f94efcb;hb=a996f792cb40f3451085f9951dd4462d188c84b8;hp=b97da12c062b941822623194074aa242bd7e0b29;hpb=72420d58d18ec71d4777d029daaf0c6a1c820b32;p=palacios-OLD.git

diff --git a/palacios/src/devices/os_debug.c b/palacios/src/devices/os_debug.c
index b97da12..97cdabc 100644
--- a/palacios/src/devices/os_debug.c
+++ b/palacios/src/devices/os_debug.c
@@ -81,8 +81,11 @@ static int handle_hcall(struct guest_info * info, uint_t hcall_id, void * priv_d
 
 
 
-static int debug_free(struct vm_device * dev) {
+static int debug_free(struct debug_state * state) {
 
+    // unregister hypercall
+
+    V3_Free(state);
     return 0;
 };
 
@@ -90,7 +93,7 @@ static int debug_free(struct vm_device * dev) {
 
 
 static struct v3_device_ops dev_ops = {
-    .free = debug_free,
+    .free = (int (*)(void *))debug_free,
 };