From f335fc10a67245ab4b541e8745be00c1ce7433af Mon Sep 17 00:00:00 2001
From: Bence Kaposzta <bence.kaposzta@arm.com>
Date: Fri, 3 Aug 2018 15:10:49 +0200
Subject: [PATCH] Fix for CM3DS GPIO api

---
 targets/TARGET_ARM_SSG/TARGET_CM3DS_MPS2/gpio_api.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/targets/TARGET_ARM_SSG/TARGET_CM3DS_MPS2/gpio_api.c b/targets/TARGET_ARM_SSG/TARGET_CM3DS_MPS2/gpio_api.c
index bc50273772..46a95c4abf 100644
--- a/targets/TARGET_ARM_SSG/TARGET_CM3DS_MPS2/gpio_api.c
+++ b/targets/TARGET_ARM_SSG/TARGET_CM3DS_MPS2/gpio_api.c
@@ -175,7 +175,7 @@ void gpio_init(gpio_t *obj, PinName pin)
         /* MCC LEDs */
         obj->gpio_dev = NULL;
         obj->mps2_io_dev = &ARM_MPS2_IO_SCC_DEV;
-        obj->arm_mps2_io_write = NULL;
+        obj->arm_mps2_io_write = arm_mps2_io_write_leds;
         obj->pin_number = pin - LED1;
         obj->direction = PIN_OUTPUT;
         return;