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