X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fgeneric.c;h=314248820b01300d9c742ee9fa29d5bbbbe0a370;hb=02c006d3ebc3aabdc2e239e3cffa0d1944491da5;hp=f10048d434bcba891aabfb6b57bc6e330de56620;hpb=72420d58d18ec71d4777d029daaf0c6a1c820b32;p=palacios-OLD.git

diff --git a/palacios/src/devices/generic.c b/palacios/src/devices/generic.c
index f10048d..3142488 100644
--- a/palacios/src/devices/generic.c
+++ b/palacios/src/devices/generic.c
@@ -148,9 +148,7 @@ static int generic_read_port_ignore(struct guest_info * core, uint16_t port, voi
 
 
 
-static int generic_free(struct vm_device * dev) {
-    struct generic_internal * state = (struct generic_internal *)(dev->private_data);
-
+static int generic_free(struct generic_internal * state) {
     PrintDebug("generic: deinit_device\n");
 
     V3_Free(state);
@@ -162,7 +160,7 @@ static int generic_free(struct vm_device * dev) {
 
 
 static struct v3_device_ops dev_ops = { 
-    .free = generic_free, 
+    .free = (int (*)(void *))generic_free, 
 };