X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Ffiledisk.c;h=f7fe7ec8c699061025ebb54f55844e4048e79c5b;hb=3db6f4c76bd6412d0154b7693c1516d792486b13;hp=001f1da729dad7d839455ac30ff41b5513bb9302;hpb=72420d58d18ec71d4777d029daaf0c6a1c820b32;p=palacios.releases.git diff --git a/palacios/src/devices/filedisk.c b/palacios/src/devices/filedisk.c index 001f1da..f7fe7ec 100644 --- a/palacios/src/devices/filedisk.c +++ b/palacios/src/devices/filedisk.c @@ -20,10 +20,10 @@ #include #include -#include +#include #include -#ifndef CONFIG_DEBUG_FILEDISK +#ifndef V3_CONFIG_DEBUG_FILEDISK #undef PrintDebug #define PrintDebug(fmt, args...) #endif @@ -111,9 +111,7 @@ static struct v3_dev_blk_ops blk_ops = { -static int disk_free(struct vm_device * dev) { - struct disk_state * disk = dev->private_data; - +static int disk_free(struct disk_state * disk) { v3_file_close(disk->fd); V3_Free(disk); @@ -121,7 +119,7 @@ static int disk_free(struct vm_device * dev) { } static struct v3_device_ops dev_ops = { - .free = disk_free, + .free = (int (*)(void *))disk_free, };