X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_barrier.h;h=d4b7eda4fc9a6e386e8defe992fec98952d22bd9;hb=c5ed10139b63166a06c932d07c7a5945bee20d55;hp=4513c094ff2a3b216adff0716a5241be5916d4fe;hpb=882a72ee6359eb1f28754827a7e41380f275d148;p=palacios.git

diff --git a/palacios/include/palacios/vmm_barrier.h b/palacios/include/palacios/vmm_barrier.h
index 4513c09..d4b7eda 100644
--- a/palacios/include/palacios/vmm_barrier.h
+++ b/palacios/include/palacios/vmm_barrier.h
@@ -26,8 +26,7 @@
 #include <util/vmm_lock.h>
 
 struct v3_barrier {
-    
-
+    uint64_t cpus;
     int active;     // If 1, barrier is active, everyone must wait 
                     // If 0, barrier is clear, can proceed
 
@@ -35,6 +34,10 @@ struct v3_barrier {
 };
 
 
+int v3_init_barrier(struct v3_barrier * barrier);
+
+int v3_activate_barrier(struct guest_info * core);
+int v3_check_barrier(struct guest_info * core);
 
 
 #endif