X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_bitmap.h;h=04ae22d21a2c4a5e04a27f26b65b7577bfc8cb40;hb=313214f2f4c8cf8d4bb4e2e3aaa788101d955fce;hp=29cabb72cf1bbb19b99cf756d17d7e731205a11d;hpb=e61e0890e6f13b1362cfffdcd287e90f1d41e443;p=palacios.git

diff --git a/palacios/include/palacios/vmm_bitmap.h b/palacios/include/palacios/vmm_bitmap.h
index 29cabb7..04ae22d 100644
--- a/palacios/include/palacios/vmm_bitmap.h
+++ b/palacios/include/palacios/vmm_bitmap.h
@@ -24,10 +24,12 @@
 
 #ifdef __V3VEE__
 #include <palacios/vmm_types.h>
+#include <palacios/vmm_lock.h>
 
 
 
 struct v3_bitmap {
+    v3_lock_t lock; 
     int num_bits;      // number of valid bit positions in the bitmap
     uint8_t * bits;   // actual bitmap. Dynamically allocated... ugly
 };