Changes in kernel/arch/arm32/include/interrupt.h [7a0359b:d99c1d2] in mainline

File:

• kernel/arch/arm32/include/interrupt.h (modified) (2 diffs)

kernel/arch/arm32/include/interrupt.h

@@ -41 +41 @@
 
 /** 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);
@@ -51 +52 @@
 extern void interrupts_restore(ipl_t ipl);
 extern ipl_t interrupts_read(void);
-extern bool interrupts_disabled(void);
+
 
 #endif