Index: kernel/generic/include/synch/spinlock.h
===================================================================
--- kernel/generic/include/synch/spinlock.h	(revision ffe4a87f6f04e3b1afccf14bda789427236053b1)
+++ kernel/generic/include/synch/spinlock.h	(revision bdfd3cdd49ad4a46f7179211331798a5b1821e97)
@@ -116,5 +116,4 @@
 extern void spinlock_unlock_debug(spinlock_t *);
 extern bool spinlock_locked(spinlock_t *);
-extern bool spinlock_unlocked(spinlock_t *);
 
 /** Unlock spinlock
@@ -288,5 +287,4 @@
 extern void irq_spinlock_exchange(irq_spinlock_t *, irq_spinlock_t *);
 extern bool irq_spinlock_locked(irq_spinlock_t *);
-extern bool irq_spinlock_unlocked(irq_spinlock_t *);
 
 #endif