Index: kernel/arch/arm32/include/interrupt.h
===================================================================
--- kernel/arch/arm32/include/interrupt.h	(revision 769a1285463584c6e2c008c195f74009ac536e12)
+++ kernel/arch/arm32/include/interrupt.h	(revision f34c09e61b0dcd26b75a69a6c7553bc1433f6a2c)
@@ -52,4 +52,5 @@
 extern void interrupts_restore(ipl_t ipl);
 extern ipl_t interrupts_read(void);
+extern bool interrupts_disabled(void);
 
 
Index: kernel/arch/arm32/src/interrupt.c
===================================================================
--- kernel/arch/arm32/src/interrupt.c	(revision 769a1285463584c6e2c008c195f74009ac536e12)
+++ kernel/arch/arm32/src/interrupt.c	(revision f34c09e61b0dcd26b75a69a6c7553bc1433f6a2c)
@@ -97,4 +97,14 @@
 }
 
+/** 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.