Index: kernel/generic/include/adt/bitmap.h
===================================================================
--- kernel/generic/include/adt/bitmap.h	(revision 7ac426ecbe598b545eba79916f325e44c686226a)
+++ kernel/generic/include/adt/bitmap.h	(revision 8df7a1c2f4f22f84273dea12bbfdaee64e72c669)
@@ -50,4 +50,12 @@
 extern void bitmap_copy(bitmap_t *dst, bitmap_t *src, count_t bits);
 
+static inline int bitmap_get(bitmap_t *bitmap,index_t bit)
+{
+	if(bit >= bitmap->bits)
+		return 0;
+	return !! ((bitmap->map)[bit/8] & (1 << (bit & 7)));
+}
+
+
 #endif