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