More debugging output (APIC, LDT, etc)

[palacios.git] / palacios / include / palacios / vmm_bitmap.h

diff --git a/palacios/include/palacios/vmm_bitmap.h b/palacios/include/palacios/vmm_bitmap.h
index 4842585..04ae22d 100644 (file)
--- 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
 };
@@ -41,7 +43,8 @@ int v3_bitmap_set(struct v3_bitmap * bitmap, int index);
 int v3_bitmap_clear(struct v3_bitmap * bitmap, int index);
 int v3_bitmap_check(struct v3_bitmap * bitmap, int index);
 
-
+int v3_bitmap_count(struct v3_bitmap * bitmap);
+int v3_bitmap_copy(struct v3_bitmap * dst, struct v3_bitmap * src);
 
 #endif