Index: kernel/arch/arm32/include/interrupt.h
===================================================================
--- kernel/arch/arm32/include/interrupt.h	(revision 131738081a1e1160ff1bfeabc23b7b99dbe16db2)
+++ kernel/arch/arm32/include/interrupt.h	(revision d0ee0de27d6c6cdab1b0395b52d3f7e8f02c6dd3)
@@ -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 131738081a1e1160ff1bfeabc23b7b99dbe16db2)
+++ kernel/arch/arm32/src/interrupt.c	(revision d0ee0de27d6c6cdab1b0395b52d3f7e8f02c6dd3)
@@ -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.