From 5d00ddf516e37206f367d6fba7e42989143d61da Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kuba=20Szczodrzy=C5=84ski?= <kuba@szczodrzynski.pl>
Date: Sun, 31 Jul 2022 23:25:12 +0200
Subject: [PATCH] [beken-72xx] Fix detaching interrupt handler

---
 arduino/beken-72xx/cores/arduino/wiring_irq.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/arduino/beken-72xx/cores/arduino/wiring_irq.c b/arduino/beken-72xx/cores/arduino/wiring_irq.c
index 8ccde62..4b1fc7b 100644
--- a/arduino/beken-72xx/cores/arduino/wiring_irq.c
+++ b/arduino/beken-72xx/cores/arduino/wiring_irq.c
@@ -69,6 +69,8 @@ void detachInterrupt(pin_size_t interruptNumber) {
 		return;
 	if (!pinSupported(pin, PIN_IRQ))
 		return;
+	irqHandlerList[interruptNumber] = NULL;
+	irqHandlerArgs[interruptNumber] = NULL;
 	gpio_int_disable(pin->gpio);
 	pin->enabled &= ~PIN_IRQ;
 }