Index: kernel/generic/include/adt/avl.h
===================================================================
--- kernel/generic/include/adt/avl.h	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/generic/include/adt/avl.h	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -37,4 +37,5 @@
 
 #include <stdbool.h>
+#include <stddef.h>
 #include <typedefs.h>
 #include <trace.h>