Index: kernel/generic/src/smp/smp.c
===================================================================
--- kernel/generic/src/smp/smp.c	(revision d19b3fcc8f46d58029778b0ba79ad3d796f39697)
+++ kernel/generic/src/smp/smp.c	(revision 4c78104a6837166b8f7dd061ec8df30c45dd4c00)
@@ -39,5 +39,5 @@
 #ifdef CONFIG_SMP
 
-waitq_t ap_completion_wq;
+semaphore_t ap_completion_semaphore;
 
 #endif /* CONFIG_SMP */