Changes in kernel/arch/arm32/include/interrupt.h [d99c1d2:7a0359b] 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);
@@ -52 +51 @@
 extern void interrupts_restore(ipl_t ipl);
 extern ipl_t interrupts_read(void);
-
+extern bool interrupts_disabled(void);
 
 #endif