Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision 53634f9294eaa723f35916cf5364f8cd4ab720f8)
+++ kernel/arch/amd64/src/interrupt.c	(revision 7b187ef6f8a1aeda140487a35c3664962045e88c)
@@ -151,4 +151,5 @@
 }
 
+#ifdef CONFIG_SMP
 static void tlb_shootdown_ipi(int n, istate_t *istate)
 {
@@ -156,4 +157,5 @@
 	tlb_shootdown_ipi_recv();
 }
+#endif
 
 /** Handler of IRQ exceptions */