Index: kernel/arch/abs32le/include/asm.h
===================================================================
--- kernel/arch/abs32le/include/asm.h	(revision b7aa7c5f7b8dd8691248edf3448104d343c42a2b)
+++ kernel/arch/abs32le/include/asm.h	(revision 3d948bef8313ea1c2926b329c7f6b01d3c106389)
@@ -164,4 +164,11 @@
 }
 
+static inline bool interrupts_disabled(void)
+{
+	/* On real hardware the return value is true iff interrupts are
+	   disabled. */
+	return false;
+}
+
 static inline uintptr_t get_stack_base(void)
 {