Index: kernel/arch/arm32/include/interrupt.h
===================================================================
--- kernel/arch/arm32/include/interrupt.h	(revision f34c09e61b0dcd26b75a69a6c7553bc1433f6a2c)
+++ kernel/arch/arm32/include/interrupt.h	(revision c621f4aa64c16cb4d9c2b20dbf5be59c66c25ed3)
@@ -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