X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2Fv3_launch.c;h=217d1045a9b986709d16e08c00d5c9f3ab96b7f2;hb=8cd246c3830733c2850cef049a7ad153daf0dd13;hp=7419a6bb165d58165ea2c1ddffa063163e96c622;hpb=f145a4fa721950a32a3b3019075206adf356b347;p=palacios.git

diff --git a/linux_usr/v3_launch.c b/linux_usr/v3_launch.c
index 7419a6b..217d104 100644
--- a/linux_usr/v3_launch.c
+++ b/linux_usr/v3_launch.c
@@ -3,52 +3,16 @@
  * (c) Jack lange, 2010
  */
 
-
-#include <stdio.h>
-#include <stdlib.h>
-#include <fcntl.h> 
-#include <sys/ioctl.h> 
-#include <sys/stat.h> 
-#include <sys/types.h> 
-#include <unistd.h> 
-#include <string.h>
- 
 #include "v3_ctrl.h"
 
 int main(int argc, char* argv[]) {
-    int vm_fd = 0;
     char * filename = argv[1];
-    int err;
-
-    if (argc <= 1) {
-	printf("usage: v3_launch <vm-device>\n");
-	return -1;
-    }
-
-    printf("Launching VM (%s)\n", filename);
-    
-    vm_fd = open(filename, O_RDONLY);
-
-    if (vm_fd == -1) {
-	printf("Error opening V3Vee VM device\n");
-	return -1;
-    }
-
-    err = ioctl(vm_fd, V3_VM_LAUNCH, NULL); 
-    if (err < 0) {
-        printf("Error launching VM\n");
-        return -1;
-    }
 
+    if (argc <= 1) 
+	v3_usage("<vm-device>\n");
 
 
-
-    /* Close the file descriptor.  */ 
-    close(vm_fd); 
- 
-
+    launch_vm(filename);
 
     return 0; 
 } 
-
-