Initial support for moving virtual cores among different physical CPUs

[palacios.git] / linux_module / palacios.h

diff --git a/linux_module/palacios.h b/linux_module/palacios.h
index 76b4779..3a253ee 100644 (file)
--- a/linux_module/palacios.h
+++ b/linux_module/palacios.h
@@ -6,34 +6,29 @@
 #include <linux/sched.h>
 #include <linux/slab.h>
 
-#ifdef V3_CONFIG_CONSOLE
-#include "palacios-console.h"
-#endif
-
-#ifdef V3_CONFIG_GRAPHICS_CONSOLE
-#include "palacios-graphics-console.h"
-#endif
-
-#ifdef V3_CONFIG_HOST_DEVICE
-#include "palacios-host-dev.h"
-#endif
-
 
 /* Global Control IOCTLs */
 #define V3_START_GUEST 10
 #define V3_ADD_MEMORY 50
-#define V3_START_NETWORK 60
 
 /* VM Specific IOCTLs */
 #define V3_VM_CONSOLE_CONNECT 20
-#define V3_VM_STREAM_CONNECT 21
+
 #define V3_VM_STOP 22
+#define V3_VM_PAUSE 23
+#define V3_VM_CONTINUE 24
+
+#define V3_VM_INSPECT 30
+
+#define V3_VM_MOVE_CORE 33
 
 #define V3_VM_FB_INPUT (256+1)
 #define V3_VM_FB_QUERY (256+2)
 
 #define V3_VM_HOST_DEV_CONNECT (10244+1)
 
+#define V3_VM_KSTREAM_USER_CONNECT (11244+1)
+
 
 struct v3_guest_img {
     unsigned long long size;
@@ -46,12 +41,12 @@ struct v3_mem_region {
     unsigned long long num_pages;
 };
 
-struct v3_network {
-    unsigned char socket;
-    unsigned char packet;
-    unsigned char vnet;
+struct v3_core_move_cmd{
+    uint16_t vcore_id;
+    uint16_t pcore_id;
 };
 
+
 void * trace_malloc(size_t size, gfp_t flags);
 void trace_free(const void * objp);
 
@@ -64,22 +59,9 @@ struct v3_guest {
 
     char name[128];
 
-    struct list_head files;
-    struct list_head streams;
-    struct list_head sockets;
-
-#ifdef V3_CONFIG_CONSOLE
-    struct palacios_console console;
-#endif
-
-#ifdef V3_CONFIG_CONSOLE
-    struct palacios_graphics_console graphics_console;
-#endif
-
-#ifdef V3_CONFIG_HOST_DEVICE
-    struct palacios_host_dev hostdev;
-#endif
 
+    struct rb_root vm_ctrls;
+    struct list_head exts;
 
     struct completion start_done;
     struct completion thread_done;
@@ -94,11 +76,6 @@ struct v3_guest {
 
 
 
-
-
-extern void send_key_to_palacios(unsigned char status, unsigned char scan_code);
-
-
 int palacios_vmm_init( void );
 int palacios_vmm_exit( void );