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