Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 49e6c6b48a1667db53d7a8cfba97659b95c83ea8)
+++ kernel/generic/src/main/main.c	(revision 2ee1ccc69bcd25005be784804853ee2cdc2231a2)
@@ -75,4 +75,5 @@
 #include <synch/waitq.h>
 #include <synch/futex.h>
+#include <smp/smp_call.h>
 #include <arch/arch.h>
 #include <arch.h>
@@ -247,4 +248,5 @@
 	arch_post_cpu_init();
 
+	smp_call_init();
 	clock_counter_init();
 	timeout_init();
@@ -348,4 +350,6 @@
 void main_ap_separated_stack(void)
 {
+	smp_call_init();
+	
 	/*
 	 * Configure timeouts for this cpu.