From dd998b5dd35e8d4652eb1b557bd55f6ae0c3e7e4 Mon Sep 17 00:00:00 2001
From: WhereAreBugs <2572414306@qq.com>
Date: Mon, 30 Oct 2023 18:27:23 +0800
Subject: [PATCH] Fixed an error that occurred when EXTENDED_PIN_MODE was
 disabled

---
 cores/arduino/WInterrupts.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cores/arduino/WInterrupts.cpp b/cores/arduino/WInterrupts.cpp
index f82cc11d..77c8452a 100644
--- a/cores/arduino/WInterrupts.cpp
+++ b/cores/arduino/WInterrupts.cpp
@@ -44,7 +44,7 @@ void attachInterrupt(pin_size_t pin, voidFuncPtr callback, PinStatus mode)
     gpio_interrupt_enable(GD_PORT_GET(pinname), GD_PIN_GET(pinname), callback, it_mode);
 }
 
-void detachInterrupt(uint32_t pin)
+void detachInterrupt(pin_size_t pin)
 {
     PinName pinname = DIGITAL_TO_PINNAME(pin);
     gpio_interrupt_disable(GD_PIN_GET(pinname));