Fix bitmap usage.

[pintos-anon] / src / lib / bitmap.h

diff --git a/src/lib/bitmap.h b/src/lib/bitmap.h
index ba4465e4e595cf040574f8388be5bade0f837d85..896a1e8e7b66a9b6e1b4f4626011c9a475fbd21e 100644 (file)
--- a/src/lib/bitmap.h
+++ b/src/lib/bitmap.h
@@ -4,16 +4,19 @@
 #include <stdbool.h>
 #include <stddef.h>
 
+typedef unsigned long elem_type;
+
 struct bitmap
   {
     size_t bit_cnt;
     elem_type *bits;
   };
 
-void bitmap_init (struct bitmap *, size_t bit_cnt);
+bool bitmap_init (struct bitmap *, size_t bit_cnt);
 void bitmap_destroy (struct bitmap *);
 
 size_t bitmap_size (const struct bitmap *);
+size_t bitmap_storage_size (const struct bitmap *);
 
 void bitmap_set (struct bitmap *, size_t idx, bool);
 void bitmap_set_all (struct bitmap *, bool);