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