Merge pull request #113 from WhereAreBugs/main

Fixed an error that occurred when EXTENDED_PIN_MODE was disabled
CommunityGD32Cores · Oct 30, 2023 · ed0c7f5 · ed0c7f5
2 parents 445dec7 + dd998b5
commit ed0c7f5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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));