X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=7a78c0a36a0623aee1960f4d506b9fab4a8e4b14;hp=e646c86c5e585ad6209e1ad07199cdba7467d13f;hb=d57b407f9d05a21303bc2c94cbd5142de130be48;hpb=e4d65eb1a4af57179bd00c397120c78c9e5b32b1

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index e646c86..7a78c0a 100644
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -39,6 +39,7 @@
 #include <palacios/vmm_regs.h>
 #include <palacios/vmm_extensions.h>
 #include <palacios/vmm_barrier.h>
+#include <palacios/vmm_subset.h>
 #include <palacios/vmm_timeout.h>
 #include <palacios/vmm_exits.h>
 #include <palacios/vmm_events.h>
@@ -276,6 +277,8 @@ struct v3_vm_info {
     struct v3_vm_hvm  hvm_state;
 #endif
 
+    // used to implement reset of regular VM and ROS
+    v3_counting_barrier_t  reset_barrier;
 
     uint64_t yield_cycle_period;