Diff: hal/gpio_api.h

Revision:

187:0387e8f68319

Parent:

167:e84263d55307

Child:

189:f392fc9709a3

--- a/hal/gpio_api.h	Fri Jun 22 16:45:37 2018 +0100
+++ b/hal/gpio_api.h	Thu Sep 06 13:40:20 2018 +0100
@@ -86,7 +86,7 @@
  * @param gpio The GPIO object
  * @param pin  The pin name
  */
-void gpio_init_in(gpio_t* gpio, PinName pin);
+void gpio_init_in(gpio_t *gpio, PinName pin);
 
 /** Init the input pin and set the mode
  *
@@ -94,7 +94,7 @@
  * @param pin   The pin name
  * @param mode  The pin mode to be set
  */
-void gpio_init_in_ex(gpio_t* gpio, PinName pin, PinMode mode);
+void gpio_init_in_ex(gpio_t *gpio, PinName pin, PinMode mode);
 
 /** Init the output pin as an output, with predefined output value 0
  *
@@ -102,7 +102,7 @@
  * @param pin  The pin name
  * @return     An integer value 1 or 0
  */
-void gpio_init_out(gpio_t* gpio, PinName pin);
+void gpio_init_out(gpio_t *gpio, PinName pin);
 
 /** Init the pin as an output and set the output value
  *
@@ -110,7 +110,7 @@
  * @param pin   The pin name
  * @param value The value to be set
  */
-void gpio_init_out_ex(gpio_t* gpio, PinName pin, int value);
+void gpio_init_out_ex(gpio_t *gpio, PinName pin, int value);
 
 /** Init the pin to be in/out
  *
@@ -120,7 +120,7 @@
  * @param mode      The pin mode to be set
  * @param value     The value to be set for an output pin
  */
-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);
 
 /**@}*/