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