Index: kernel/generic/src/adt/avl.c
===================================================================
--- kernel/generic/src/adt/avl.c	(revision ab6f25077f09eecbad05a5e320a8ce20373685db)
+++ kernel/generic/src/adt/avl.c	(revision 7e36c8d6eceec949cde46629aeb5cd1a1cb754c1)
@@ -723,5 +723,6 @@
 void avltree_walk(avltree_t *t, avltree_walker_t walker, void *arg)
 {
-	_avltree_walk(t->root, walker, arg);
+	if (t->root)
+		_avltree_walk(t->root, walker, arg);
 }