From: Jack Lange <jacklange@cs.pitt.edu>
Date: Fri, 18 Mar 2011 22:26:07 +0000 (-0500)
Subject: added needed header file
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=85e35050c4554c4807d96d037d9da18e7eb4c91b;hp=c79291850ac3605c924a2c5e9617028038bb8f63;p=palacios.git

added needed header file
---

diff --git a/linux_usr/v3_ctrl.h b/linux_usr/v3_ctrl.h
new file mode 100644
index 0000000..eb92d7d
--- /dev/null
+++ b/linux_usr/v3_ctrl.h
@@ -0,0 +1,31 @@
+/* 
+ * V3 Control header file 
+ * (c) Jack lange, 2010
+ */
+
+#ifndef _v3_ctrl_h
+#define _v3_ctrl_h
+
+#define V3_START_GUEST 10
+#define V3_ADD_MEMORY 50
+#define V3_START_NETWORK 60
+
+#define V3_VM_CONSOLE_CONNECT 20
+#define V3_VM_SERIAL_CONNECT 21
+#define V3_VM_STOP 22
+
+static const char * v3_dev = "/dev/v3vee";
+
+struct v3_guest_img {
+    unsigned long long size;
+    void * guest_data;
+    char name[128];
+};
+
+
+struct v3_mem_region {
+    unsigned long long base_addr;
+    unsigned long long num_pages;
+};
+
+#endif