Index: kernel/generic/include/adt/btree.h
===================================================================
--- kernel/generic/include/adt/btree.h	(revision 32664125324bf6d051fc37671e642a19bbcc6e2b)
+++ kernel/generic/include/adt/btree.h	(revision 485dacd8058d9a33ea2f94059fe63ae7c6410cb7)
@@ -108,4 +108,7 @@
 
 extern void btree_print(btree_t *t);
+
+extern unsigned long btree_count(btree_t *t);
+
 #endif
 
