mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Revision:
64:41a834223ea3
Parent:
15:a81a8d6c1dfe
diff -r 5964504d61de -r 41a834223ea3 targets/hal/TARGET_Atmel/TARGET_SAM_CortexM0P/gpio_irq_api.c
--- a/targets/hal/TARGET_Atmel/TARGET_SAM_CortexM0P/gpio_irq_api.c	Mon Feb 15 09:00:10 2016 +0000
+++ b/targets/hal/TARGET_Atmel/TARGET_SAM_CortexM0P/gpio_irq_api.c	Mon Feb 15 10:00:10 2016 +0000
@@ -43,7 +43,7 @@
         if (extint_chan_is_detected(current_channel)) {
             extint_chan_clear_detected(current_channel);
             port_base = (PortGroup*)port_get_group_from_gpio_pin(ext_int_pins[current_channel]);
-            mask = gpio_set(ext_int_pins[current_channel]);
+            mask = gpio_set((PinName)ext_int_pins[current_channel]);
             if ((port_base->IN.reg & mask) != 0) {
                 event = IRQ_RISE;
             } else {