Index: kernel/generic/include/adt/bitmap.h
===================================================================
--- kernel/generic/include/adt/bitmap.h	(revision 7782030a5944566e96b3a1307067dc1993fd1a64)
+++ kernel/generic/include/adt/bitmap.h	(revision 46321fbe357afbfd389f20878e8cda76c62f0444)
@@ -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