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

File:

• kernel/arch/arm32/include/interrupt.h (modified) (1 diff)

kernel/arch/arm32/include/interrupt.h

@@ -52 +52 @@
 extern void interrupts_restore(ipl_t ipl);
 extern ipl_t interrupts_read(void);
+extern bool interrupts_disabled(void);