Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Dynamic migration of memory from node to node
[palacios.git] / linux_module / palacios.h
index 7b3a32b..c9cbb96 100644 (file)
@@ -39,6 +39,8 @@
 #define V3_VM_SEND    34
 #define V3_VM_RECEIVE 35
 
+#define V3_VM_MOVE_MEM 36
+
 #define V3_VM_FB_INPUT 257
 #define V3_VM_FB_QUERY 258
 
@@ -77,6 +79,11 @@ struct v3_core_move_cmd {
     unsigned short pcore_id;
 } __attribute__((packed));
 
+struct v3_mem_move_cmd{
+    unsigned long long gpa;
+    unsigned short     pcore_id;
+} __attribute__((packed));
+
 struct v3_chkpt_info {
     char store[128];
     char url[256]; /* This might need to be bigger... */
@@ -156,7 +163,7 @@ void *palacios_start_kernel_thread(int (*fn)(void * arg), void *arg, char *threa
 void *palacios_start_thread_on_cpu(int cpu_id, int (*fn)(void * arg), void *arg, char *thread_name);
 int   palacios_move_thread_to_cpu(int new_cpu_id, void *thread_ptr);
 void  palacios_yield_cpu(void);
-void  palacios_yield_cpu_timed(unsigned int us);
+void  palacios_sleep_cpu(unsigned int us);
 unsigned int palacios_get_cpu(void);
 unsigned int palacios_get_cpu_khz(void);
 void *palacios_mutex_alloc(void);         // allocates and inits a lock