Index: kernel/generic/src/smp/smp.c
===================================================================
--- kernel/generic/src/smp/smp.c	(revision 7c5320cc53df744a0d53d60a263d390f3fe84b5e)
+++ kernel/generic/src/smp/smp.c	(revision c626117d454226d577af1687d21ab9f141251eea)
@@ -39,5 +39,5 @@
 #ifdef CONFIG_SMP
 
-semaphore_t ap_completion_semaphore;
+SEMAPHORE_INITIALIZE(ap_completion_semaphore, 0);
 
 #endif /* CONFIG_SMP */