#include <palacios/vmm_cpuid.h>
#include <palacios/vmm_regs.h>
#include <palacios/vmm_extensions.h>
-
+#include <palacios/vmm_barrier.h>
#ifdef V3_CONFIG_TELEMETRY
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 cpu_id;
+ uint32_t pcpu_id;
+
+ /* The virtual core # of this cpu (what the guest sees this core as) */
+ uint32_t vcpu_id;
};
v3_vm_operating_mode_t run_state;
-
+ struct v3_barrier barrier;
struct v3_extensions extensions;