From: Jack Lange <jacklange@cs.pitt.edu>
Date: Tue, 20 Sep 2011 20:57:35 +0000 (-0400)
Subject: added missing pause/continue utilities
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=9d3b3018dfa76f3612eff68e78aaf636496c4fe4

added missing pause/continue utilities
---

diff --git a/linux_usr/Makefile b/linux_usr/Makefile
index c74b4cc..c36a212 100644
--- a/linux_usr/Makefile
+++ b/linux_usr/Makefile
@@ -2,8 +2,10 @@ all: v3_ctrl v3_stop v3_cons v3_mem v3_monitor v3_stream v3_user_host_dev_exampl
 
 
 
-v3_ctrl : v3_ctrl.c v3_ctrl.h
+v3_ctrl : v3_ctrl.c v3_pause.c v3_continue.c v3_ctrl.h
 	gcc -static v3_ctrl.c -o v3_ctrl 
+	gcc -static v3_pause.c -o v3_pause
+	gcc -static v3_continue.c -o v3_continue
 
 v3_stop : v3_stop.c v3_ctrl.h
 	gcc -static v3_stop.c -o v3_stop 
@@ -16,7 +18,6 @@ v3_load : v3_load.c v3_ctrl.h
 v3_mem : v3_mem.c v3_ctrl.h
 	gcc -static v3_mem.c -o v3_mem 
 
-
 v3_cons : v3_cons.c v3_cons_sc.c v3_ctrl.h
 	gcc  v3_cons.c -o v3_cons -lcurses
 	gcc  v3_cons_sc.c -o v3_cons_sc -lcurses
diff --git a/linux_usr/v3_continue.c b/linux_usr/v3_continue.c
new file mode 100644
index 0000000..5165a6e
--- /dev/null
+++ b/linux_usr/v3_continue.c
@@ -0,0 +1,51 @@
+/* 
+ * V3 Control utility
+ * (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 read_file(int fd, int size, unsigned char * buf);
+
+int main(int argc, char* argv[]) {
+    char * filename = argv[1];
+    int vm_fd = 0;
+ 
+
+    if (argc <= 1) {
+	printf("Usage: ./v3_stop <vm-dev>\n");
+	return -1;
+    }
+
+    printf("Stopping VM\n");
+    
+    vm_fd = open(filename, O_RDONLY);
+
+    if (vm_fd == -1) {
+	printf("Error opening V3Vee VM device\n");
+	return -1;
+    }
+
+    ioctl(vm_fd, 24, NULL); 
+
+
+
+    /* Close the file descriptor.  */ 
+    close(vm_fd); 
+ 
+
+
+    return 0; 
+} 
+
+
diff --git a/linux_usr/v3_pause.c b/linux_usr/v3_pause.c
new file mode 100644
index 0000000..ddf7c47
--- /dev/null
+++ b/linux_usr/v3_pause.c
@@ -0,0 +1,51 @@
+/* 
+ * V3 Control utility
+ * (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 read_file(int fd, int size, unsigned char * buf);
+
+int main(int argc, char* argv[]) {
+    char * filename = argv[1];
+    int vm_fd = 0;
+ 
+
+    if (argc <= 1) {
+	printf("Usage: ./v3_stop <vm-dev>\n");
+	return -1;
+    }
+
+    printf("Stopping VM\n");
+    
+    vm_fd = open(filename, O_RDONLY);
+
+    if (vm_fd == -1) {
+	printf("Error opening V3Vee VM device\n");
+	return -1;
+    }
+
+    ioctl(vm_fd, 23, NULL); 
+
+
+
+    /* Close the file descriptor.  */ 
+    close(vm_fd); 
+ 
+
+
+    return 0; 
+} 
+
+