diff --git a/files/mockup_prelude.cc b/files/mockup_prelude.cc
index 02ac65dcf481b1aba73e665cee7ee63d769ec518..8830fc9a8a191db0bf383c844b7f0ae86b7f5fc4 100644
--- a/files/mockup_prelude.cc
+++ b/files/mockup_prelude.cc
@@ -136,7 +136,7 @@ void _print_os_state(const char *format, const char *syscall, const char *func)
 }
 
 static forceinline int _do_trigger_interrupt(uint8_t i, const char *format, const char *syscall, const char *func) {
-	if (arch::irq.interrupts_enabled()) {
+	if (arch::irq.interrupts_enabled(i)) {
 		_print_os_state(format, syscall, func);
 		arch::irq.deliver_interrupt(i);
 		return 1;