mbed library sources. Supersedes mbed-src.

Dependents:   Nucleo_Hello_Encoder BLE_iBeaconScan AM1805_DEMO DISCO-F429ZI_ExportTemplate1 ... more

Revision:
187:0387e8f68319
Parent:
149:156823d33999
Child:
189:f392fc9709a3
--- a/hal/mbed_gpio.c	Fri Jun 22 16:45:37 2018 +0100
+++ b/hal/mbed_gpio.c	Thu Sep 06 13:40:20 2018 +0100
@@ -15,7 +15,7 @@
  */
 #include "hal/gpio_api.h"
 
-static inline void _gpio_init_in(gpio_t* gpio, PinName pin, PinMode mode)
+static inline void _gpio_init_in(gpio_t *gpio, PinName pin, PinMode mode)
 {
     gpio_init(gpio, pin);
     if (pin != NC) {
@@ -24,7 +24,7 @@
     }
 }
 
-static inline void _gpio_init_out(gpio_t* gpio, PinName pin, PinMode mode, int value)
+static inline void _gpio_init_out(gpio_t *gpio, PinName pin, PinMode mode, int value)
 {
     gpio_init(gpio, pin);
     if (pin != NC) {
@@ -34,27 +34,33 @@
     }
 }
 
-void gpio_init_in(gpio_t* gpio, PinName pin) {
+void gpio_init_in(gpio_t *gpio, PinName pin)
+{
     gpio_init_in_ex(gpio, pin, PullDefault);
 }
 
-void gpio_init_in_ex(gpio_t* gpio, PinName pin, PinMode mode) {
+void gpio_init_in_ex(gpio_t *gpio, PinName pin, PinMode mode)
+{
     _gpio_init_in(gpio, pin, mode);
 }
 
-void gpio_init_out(gpio_t* gpio, PinName pin) {
+void gpio_init_out(gpio_t *gpio, PinName pin)
+{
     gpio_init_out_ex(gpio, pin, 0);
 }
 
-void gpio_init_out_ex(gpio_t* gpio, PinName pin, int value) {
+void gpio_init_out_ex(gpio_t *gpio, PinName pin, int value)
+{
     _gpio_init_out(gpio, pin, PullNone, value);
 }
 
-void gpio_init_inout(gpio_t* gpio, PinName pin, PinDirection direction, PinMode mode, int value) {
+void gpio_init_inout(gpio_t *gpio, PinName pin, PinDirection direction, PinMode mode, int value)
+{
     if (direction == PIN_INPUT) {
         _gpio_init_in(gpio, pin, mode);
-        if (pin != NC)
-            gpio_write(gpio, value); // we prepare the value in case it is switched later
+        if (pin != NC) {
+            gpio_write(gpio, value);    // we prepare the value in case it is switched later
+        }
     } else {
         _gpio_init_out(gpio, pin, mode, value);
     }