Index: kernel/generic/include/smp/ipi.h
===================================================================
--- kernel/generic/include/smp/ipi.h	(revision e3038b41e1f6e1ef905bbc80916933e18d3e3008)
+++ kernel/generic/include/smp/ipi.h	(revision 49eb6818bdc4c8415ca4893642646cd5a99d5555)
@@ -43,5 +43,5 @@
 #else
 
-	#define ipi_broadcast(ipi)
+#define ipi_broadcast(ipi)
 
 #endif /* CONFIG_SMP */