Update patchset

Author: facchinm

patches/0172-RP2040-align-gpio_irq_init-API-with-mainline.patch

@@ -0,0 +1,39 @@
+From 0e694aa413f85f5cd3356ada49d80d29088d7ea6 Mon Sep 17 00:00:00 2001
+From: Martino Facchin <m.facchin@arduino.cc>
+Date: Tue, 12 Jul 2022 15:51:58 +0200
+Subject: [PATCH] RP2040: align gpio_irq_init API with mainline
+
+---
+ targets/TARGET_RASPBERRYPI/TARGET_RP2040/gpio_api.c | 6 +++---
+ 1 file changed, 3 insertions(+), 3 deletions(-)
+
+diff --git a/targets/TARGET_RASPBERRYPI/TARGET_RP2040/gpio_api.c b/targets/TARGET_RASPBERRYPI/TARGET_RP2040/gpio_api.c
+index a10a7d6c89..e53887bc32 100644
+--- a/targets/TARGET_RASPBERRYPI/TARGET_RP2040/gpio_api.c
++++ b/targets/TARGET_RASPBERRYPI/TARGET_RP2040/gpio_api.c
+@@ -87,19 +87,19 @@ static void _gpio_irq(uint gpio, uint32_t events)
+     m_irq_handler(m_channel_ids[gpio], ev);
+ }
+ 
+-int gpio_irq_init(gpio_irq_t *obj, PinName pin, gpio_irq_handler handler, uint32_t id)
++int gpio_irq_init(gpio_irq_t *obj, PinName pin, gpio_irq_handler handler, uintptr_t context)
+ {
+     if (pin == NC) {
+         return -1;
+     }
+     MBED_ASSERT((uint32_t)pin < GPIO_PIN_COUNT);
+ 
+-    m_channel_ids[pin]          = id;
++    m_channel_ids[pin]          = context;
+     m_irq_handler               = handler;
+ 
+     obj->irq_n = IO_IRQ_BANK0;
+     obj->pin = pin;
+-    obj->irq_index = id;
++    obj->irq_index = context;
+ 
+     return 0;
+ }
+-- 
+2.36.0
+