X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=eae4bd7ad407d9778a1d187cece7b5cadba6c58d;hb=8e9c13c41b0244a8d0029e837a623591a22c5879;hp=4360a64a34d0a258aa0246896338706e5fe92f95;hpb=382829fe58cb541af371547325c5502e37032ecd;p=palacios-OLD.git

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index 4360a64..eae4bd7 100644
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -37,7 +37,7 @@
 #include <palacios/vmm_cpuid.h>
 #include <palacios/vmm_regs.h>
 #include <palacios/vmm_extensions.h>
-
+#include <palacios/vmm_barrier.h>
 
 
 #ifdef V3_CONFIG_TELEMETRY
@@ -128,6 +128,11 @@ struct guest_info {
 
     v3_core_operating_mode_t core_run_state;
 
+    v3_core_moving_state_t core_move_state;  /* if 1, then it is to be migrated to current pcpu_id */
+    uint32_t target_pcpu_id; /* the target physical CPU id for core moving */
+
+    void * core_thread; /* thread struct for virtual core */
+
     /* the logical cpu on which this core runs */
     uint32_t pcpu_id;
     
@@ -170,7 +175,7 @@ struct v3_vm_info {
 
     v3_vm_operating_mode_t run_state;
 
-
+    struct v3_barrier barrier;
 
 
     struct v3_extensions extensions;