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