Index: kernel/generic/include/adt/bitmap.h
===================================================================
--- kernel/generic/include/adt/bitmap.h	(revision f714576b33a5b9db46bd31376a156454ab629bd7)
+++ kernel/generic/include/adt/bitmap.h	(revision 4c4ddbe923f125d8dae99621981ab35bb07bb632)
@@ -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