Index: kernel/generic/include/synch/semaphore.h
===================================================================
--- kernel/generic/include/synch/semaphore.h	(revision da1bafb8cf9a3b3be8ef21bc114daaa476a85190)
+++ kernel/generic/include/synch/semaphore.h	(revision c621f4aa64c16cb4d9c2b20dbf5be59c66c25ed3)
@@ -56,4 +56,5 @@
 extern int _semaphore_down_timeout(semaphore_t *, uint32_t, unsigned int);
 extern void semaphore_up(semaphore_t *);
+extern int semaphore_count_get(semaphore_t *);
 
 #endif