From bcb3ab451baefdebb48589f822986c0ce8588b18 Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Tue, 17 Jun 2014 19:57:17 +0100
Subject: [PATCH] stmhal: Toggle LED using ODR ^= pin_mask.

---
 stmhal/led.c | 13 ++-----------
 1 file changed, 2 insertions(+), 11 deletions(-)

diff --git a/stmhal/led.c b/stmhal/led.c
index 8cef02425a..e23b30ab75 100644
--- a/stmhal/led.c
+++ b/stmhal/led.c
@@ -148,18 +148,9 @@ void led_toggle(pyb_led_t led) {
     }
 #endif
 
+    // toggle the output data register to toggle the LED state
     const pin_obj_t *led_pin = pyb_led_obj[led - 1].led_pin;
-    GPIO_TypeDef *gpio = led_pin->gpio;
-
-    // We don't know if we're turning the LED on or off, but we don't really
-    // care. Just invert the state.
-    if (gpio->ODR & led_pin->pin_mask) {
-        // pin is high, make it low
-        gpio->BSRRH = led_pin->pin_mask;
-    } else {
-        // pin is low, make it high
-        gpio->BSRRL = led_pin->pin_mask;
-    }
+    led_pin->gpio->ODR ^= led_pin->pin_mask;
 }
 
 int led_get_intensity(pyb_led_t led) {