Index: libcfa/src/concurrency/kernel_private.hfa
===================================================================
--- libcfa/src/concurrency/kernel_private.hfa	(revision ac2b5984c4b0375acbf29ad1d84b311620fd487c)
+++ libcfa/src/concurrency/kernel_private.hfa	(revision 7030dab75c493bbd89de53cb88e496019c794ff4)
@@ -42,14 +42,5 @@
 void * __create_pthread( pthread_t *, void * (*)(void *), void * );
 
-static inline void wake_fast(processor * this) {
-	__cfaabi_dbg_print_safe("Kernel : Waking up processor %p\n", this);
-	post( this->idleLock );
-}
 
-static inline void wake(processor * this) {
-	disable_interrupts();
-	wake_fast(this);
-	enable_interrupts( __cfaabi_dbg_ctx );
-}
 
 struct event_kernel_t {