X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_barrier.c;h=f7b863da01e1d9e43f19d9d00598ce7a69e18999;hb=81361b1fc66eb2ca2e1eb80d3c3b98c6accde9d0;hp=7718fc8840f096e916a7c12c6bdc947152ea481c;hpb=94429f4b9268cf4d5f86dee5c3d929110811ac80;p=palacios.git

diff --git a/palacios/src/palacios/vmm_barrier.c b/palacios/src/palacios/vmm_barrier.c
index 7718fc8..f7b863d 100644
--- a/palacios/src/palacios/vmm_barrier.c
+++ b/palacios/src/palacios/vmm_barrier.c
@@ -177,7 +177,7 @@ int v3_wait_at_barrier(struct guest_info * core) {
     V3_Print("Core %d bit set as waiting\n", core->vcpu_id);
 
     // wait for cpu bit to clear
-    while (v3_bitmap_check(&(barrier->cpu_map), core->vcpu_id) == 1) {
+    while (v3_bitmap_check(&(barrier->cpu_map), core->vcpu_id)) {
 	v3_yield(core);
     }