Index: kernel/generic/include/synch/semaphore.h
===================================================================
--- kernel/generic/include/synch/semaphore.h	(revision 5110d0a1ed08ccaa0107b3c666b72c97dacb98d1)
+++ kernel/generic/include/synch/semaphore.h	(revision daadfa699247351099d4c91048e2f9e9a29c346a)
@@ -51,5 +51,4 @@
 extern void semaphore_down(semaphore_t *);
 extern void semaphore_up(semaphore_t *);
-extern int semaphore_count_get(semaphore_t *);
 
 #endif