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

File:

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

kernel/arch/arm32/include/interrupt.h

@@ -37 +37 @@
 #define KERN_arm32_INTERRUPT_H_
 
-#include <arch/types.h>
+#include <typedefs.h>
 #include <arch/exception.h>
 
 /** 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