Index: kernel/generic/include/adt/avl.h
===================================================================
--- kernel/generic/include/adt/avl.h	(revision b76a22177c4c3a1dbff86603b43c86fa730488e2)
+++ kernel/generic/include/adt/avl.h	(revision f4c2b6a104d4ab9ce057413b12ff1efedcba0fcd)
@@ -37,4 +37,5 @@
 
 #include <arch/types.h>
+#include <typedefs.h>
 
 /**
Index: kernel/generic/include/adt/list.h
===================================================================
--- kernel/generic/include/adt/list.h	(revision b76a22177c4c3a1dbff86603b43c86fa730488e2)
+++ kernel/generic/include/adt/list.h	(revision f4c2b6a104d4ab9ce057413b12ff1efedcba0fcd)
@@ -37,4 +37,5 @@
 
 #include <arch/types.h>
+#include <typedefs.h>
 
 /** Doubly linked list head and link type. */