From f1ea5ed8f9f6dc1f006185d051da682bed63c6ac Mon Sep 17 00:00:00 2001
From: Uwe Bonnes <bon@elektron.ikp.physik.tu-darmstadt.de>
Date: Sun, 21 Apr 2013 14:55:10 +0200
Subject: [PATCH] F4Discovery: Slow Down GPIO access a little, as off-board SWD
 otherwise needs _very_ good ground connection.

---
 src/platforms/f4discovery/platform.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/platforms/f4discovery/platform.h b/src/platforms/f4discovery/platform.h
index c5aac177..0010ec42 100644
--- a/src/platforms/f4discovery/platform.h
+++ b/src/platforms/f4discovery/platform.h
@@ -193,12 +193,14 @@ void uart_usb_buf_drain(uint8_t ep);
 static inline void _gpio_set(u32 gpioport, u16 gpios)
 {
 	GPIO_BSRR(gpioport) = gpios;
+	GPIO_BSRR(gpioport) = gpios;
 }
 #define gpio_set _gpio_set
 
 static inline void _gpio_clear(u32 gpioport, u16 gpios)
 {
 	GPIO_BSRR(gpioport) = gpios<<16;
+	GPIO_BSRR(gpioport) = gpios<<16;
 }
 #define gpio_clear _gpio_clear