Changes in kernel/arch/arm32/include/interrupt.h [f34c09e:d99c1d2] 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);