Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision 53634f9294eaa723f35916cf5364f8cd4ab720f8)
+++ kernel/arch/amd64/src/interrupt.c	(revision 0867321c69ae9c3f09757e7ced1c100a578f28e3)
@@ -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 */