diff --git a/include/common.h b/include/common.h
index 8addf43..4d2a56d 100644
--- a/include/common.h
+++ b/include/common.h
@@ -627,6 +627,8 @@
 #endif
 #endif
 
+void smp_set_core_boot_addr(unsigned long addr, int corenr);
+void smp_kick_all_cpus(void);
 
 /* $(CPU)/serial.c */
 int	serial_init   (void);