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;