Index: kernel/generic/include/adt/bitmap.h
===================================================================
--- kernel/generic/include/adt/bitmap.h	(revision 09d13c8e567316acfec91989df4a5d961f8fb644)
+++ kernel/generic/include/adt/bitmap.h	(revision fd2b081d8de97242f79fa5909bc672dfc6c0cb79)
@@ -38,4 +38,5 @@
 #include <stddef.h>
 #include <stdbool.h>
+#include <stdint.h>
 
 #define BITMAP_ELEMENT   8