Changes in kernel/arch/arm32/src/interrupt.c [f34c09e:646b996] in mainline

File:

• kernel/arch/arm32/src/interrupt.c (modified) (1 diff)

kernel/arch/arm32/src/interrupt.c

@@ -97 +97 @@
 }
 
-/** Check interrupts state.
- *
- * @return True if interrupts are disabled.
- *
- */
-bool interrupts_disabled(void)
-{
-        return current_status_reg_read() & STATUS_REG_IRQ_DISABLED_BIT;
-}
-
 /** Initialize basic tables for exception dispatching
  * and starts the timer.