X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2Fv3_free.c;h=12992691040dce12e9c89db8c0879a956366d9ff;hb=82d082daad3fe8afad4be97d97093a3dfb768e1f;hp=293befa148f3e1e05f96dab2dc9dfbd65ab5c3bf;hpb=dffa723ee7e01abf77e718838b7e8ab82487b8f6;p=palacios.git

diff --git a/linux_usr/v3_free.c b/linux_usr/v3_free.c
index 293befa..1299269 100644
--- a/linux_usr/v3_free.c
+++ b/linux_usr/v3_free.c
@@ -25,7 +25,7 @@ int main(int argc, char* argv[]) {
 
     printf("Freeing VM %d\n", vm_idx);
     
-    if (v3_dev_ioctl(V3_FREE_GUEST, vm_idx) < 0) {
+    if (v3_dev_ioctl(V3_FREE_GUEST, (void*)vm_idx) < 0) {
         fprintf(stderr, "Error freeing VM %d (%s)\n", vm_idx,argv[1]);
         return -1;
     }