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