Index: kernel/arch/arm32/include/interrupt.h
===================================================================
--- kernel/arch/arm32/include/interrupt.h	(revision f34c09e61b0dcd26b75a69a6c7553bc1433f6a2c)
+++ kernel/arch/arm32/include/interrupt.h	(revision 46c20c843b2930f93143ea308af9c4d278d6cf64)
@@ -41,9 +41,8 @@
 
 /** Initial size of exception dispatch table. */
-#define IVT_ITEMS 	6
+#define IVT_ITEMS  6
 
 /** Index of the first item in exception dispatch table. */
-#define IVT_FIRST	0
-
+#define IVT_FIRST  0
 
 extern void interrupt_init(void);
@@ -54,5 +53,4 @@
 extern bool interrupts_disabled(void);
 
-
 #endif