X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2Fv3_stop.c;h=a5f3249caf443239f418ad8fa7cea2d47016fae1;hb=0b342d28c860e4b3911b529f5363d35faa86aa25;hp=b47347d6c5c17f76d131feca78983b953eb2015a;hpb=4801e692b7344051eb94fff6faf1be53f621d422;p=palacios.git

diff --git a/linux_usr/v3_stop.c b/linux_usr/v3_stop.c
index b47347d..a5f3249 100644
--- a/linux_usr/v3_stop.c
+++ b/linux_usr/v3_stop.c
@@ -15,19 +15,16 @@
  
 #include "v3_ctrl.h"
 
-int read_file(int fd, int size, unsigned char * buf);
-
 int main(int argc, char* argv[]) {
-    char * filename = argv[1];
     int vm_fd = 0;
- 
+    char * filename = argv[1];
 
     if (argc <= 1) {
-	printf("Usage: ./v3_stop <vm-dev>\n");
+	printf("Usage: ./v3_stop <vm-device>\n");
 	return -1;
     }
 
-    printf("Stopping VM\n");
+    printf("Stopping VM (%s)\n", filename);
     
     vm_fd = open(filename, O_RDONLY);