Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


event tweaks
[palacios.git] / palacios / include / palacios / vmm_bitmap.h
index 4842585..29cabb7 100644 (file)
@@ -41,7 +41,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