hal: astyle update

Author: 0xc0170

hal/TARGET_FLASH_CMSIS_ALGO/flash_common_algo.c

@@ -97,7 +97,7 @@ static int32_t flash_algo_uninit(flash_t *obj, uint32_t address, uint32_t functi
  *  @param end_addr     End address to check. Could be the same as start_addr to just check start_addr
  *                      for e.g. flash_erase_sector.
  *  @return             0 for success, -1 for error
- */ 
+ */
 static int32_t flash_check_nonsecure(flash_t *obj, uint32_t start_addr, uint32_t end_addr)
 {
     /* Check if end address wraps around */
@@ -107,14 +107,14 @@ static int32_t flash_check_nonsecure(flash_t *obj, uint32_t start_addr, uint32_t
 
     /* Check if start address is in non-secure flash */
     if ((start_addr < obj->target_config_ns->flash_start) ||
-        (start_addr >= (obj->target_config_ns->flash_start + obj->target_config_ns->flash_size))) {
+            (start_addr >= (obj->target_config_ns->flash_start + obj->target_config_ns->flash_size))) {
         return -1;
     }
 
     /* Check if end address is in non-secure flash */
     if (end_addr != start_addr) {
         if ((end_addr < obj->target_config_ns->flash_start) ||
-            (end_addr >= (obj->target_config_ns->flash_start + obj->target_config_ns->flash_size))) {
+                (end_addr >= (obj->target_config_ns->flash_start + obj->target_config_ns->flash_size))) {
             return -1;
         }
     }

hal/TARGET_FLASH_CMSIS_ALGO/flash_data.h

@@ -74,7 +74,7 @@ typedef struct {
     uint32_t pc;
 } args_t;
 
-typedef int32_t (*flash_algo_jump_t)(args_t*);
+typedef int32_t (*flash_algo_jump_t)(args_t *);
 
 // prototypes for flash algo CMSIS API
 

hal/can_api.h

@@ -57,23 +57,23 @@ typedef void (*can_irq_handler)(uint32_t id, CanIrqType type);
 
 typedef struct can_s can_t;
 
-void          can_init      (can_t *obj, PinName rd, PinName td);
-void          can_init_freq (can_t *obj, PinName rd, PinName td, int hz);
-void          can_free      (can_t *obj);
-int           can_frequency (can_t *obj, int hz);
-
-void          can_irq_init (can_t *obj, can_irq_handler handler, uint32_t id);
-void          can_irq_free (can_t *obj);
-void          can_irq_set  (can_t *obj, CanIrqType irq, uint32_t enable);
-
-int           can_write    (can_t *obj, CAN_Message, int cc);
-int           can_read     (can_t *obj, CAN_Message *msg, int handle);
-int           can_mode     (can_t *obj, CanMode mode);
+void          can_init(can_t *obj, PinName rd, PinName td);
+void          can_init_freq(can_t *obj, PinName rd, PinName td, int hz);
+void          can_free(can_t *obj);
+int           can_frequency(can_t *obj, int hz);
+
+void          can_irq_init(can_t *obj, can_irq_handler handler, uint32_t id);
+void          can_irq_free(can_t *obj);
+void          can_irq_set(can_t *obj, CanIrqType irq, uint32_t enable);
+
+int           can_write(can_t *obj, CAN_Message, int cc);
+int           can_read(can_t *obj, CAN_Message *msg, int handle);
+int           can_mode(can_t *obj, CanMode mode);
 int           can_filter(can_t *obj, uint32_t id, uint32_t mask, CANFormat format, int32_t handle);
-void          can_reset    (can_t *obj);
-unsigned char can_rderror  (can_t *obj);
-unsigned char can_tderror  (can_t *obj);
-void          can_monitor  (can_t *obj, int silent);
+void          can_reset(can_t *obj);
+unsigned char can_rderror(can_t *obj);
+unsigned char can_tderror(can_t *obj);
+void          can_monitor(can_t *obj, int silent);
 
 #ifdef __cplusplus
 };

hal/crc_api.h

@@ -145,7 +145,7 @@ extern "C" {
  *
  * \return  True if running if the polynomial is supported, false if not.
  */
-bool hal_crc_is_supported(const crc_mbed_config_t* config);
+bool hal_crc_is_supported(const crc_mbed_config_t *config);
 
 /** Initialize the hardware CRC module with the given polynomial
  *
@@ -177,7 +177,7 @@ bool hal_crc_is_supported(const crc_mbed_config_t* config);
  *               hardware CRC module. For example, polynomial and initial seed
  *               values.
  */
-void hal_crc_compute_partial_start(const crc_mbed_config_t* config);
+void hal_crc_compute_partial_start(const crc_mbed_config_t *config);
 
 /** Writes data to the current CRC module.
  *

hal/gpio_api.h

@@ -86,31 +86,31 @@ int gpio_read(gpio_t *obj);
  * @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
  *
  * @param gpio  The GPIO object
  * @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
  *
  * @param gpio The GPIO object
  * @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
  *
  * @param gpio  The GPIO object
  * @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 @@ void gpio_init_out_ex(gpio_t* gpio, PinName pin, int value);
  * @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);
 
 /**@}*/
 

hal/i2c_api.h

@@ -58,8 +58,8 @@ typedef struct i2c_s i2c_t;
 #endif
 
 enum {
-  I2C_ERROR_NO_SLAVE = -1,
-  I2C_ERROR_BUS_BUSY = -2
+    I2C_ERROR_NO_SLAVE = -1,
+    I2C_ERROR_BUS_BUSY = -2
 };
 
 #ifdef __cplusplus
@@ -73,7 +73,7 @@ extern "C" {
 
 /** Initialize the I2C peripheral. It sets the default parameters for I2C
  *  peripheral, and configures its specifieds pins.
- *  
+ *
  *  @param obj  The I2C object
  *  @param sda  The sda pin
  *  @param scl  The scl pin
@@ -117,7 +117,7 @@ int i2c_read(i2c_t *obj, int address, char *data, int length, int stop);
  *  @param data    The buffer for sending
  *  @param length  Number of bytes to write
  *  @param stop    Stop to be generated after the transfer is done
- *  @return 
+ *  @return
  *      zero or non-zero - Number of written bytes
  *      negative - I2C_ERROR_XXX status
  */

hal/itm_api.h

@@ -38,23 +38,23 @@ enum {
 
 /**
  * @brief      Target specific initialization function.
- *             This function is responsible for initializing and configuring 
- *             the debug clock for the ITM and setting up the SWO pin for 
+ *             This function is responsible for initializing and configuring
+ *             the debug clock for the ITM and setting up the SWO pin for
  *             debug output.
- *             
+ *
  *             The only Cortex-M register that should be modified is the clock
  *             prescaler in TPI->ACPR.
- *             
- *             The generic mbed_itm_init initialization function will setup: 
- *             
+ *
+ *             The generic mbed_itm_init initialization function will setup:
+ *
  *                  ITM->LAR
  *                  ITM->TPR
  *                  ITM->TCR
  *                  ITM->TER
  *                  TPI->SPPR
  *                  TPI->FFCR
  *                  DWT->CTRL
- *                  
+ *
  *             for SWO output on stimulus port 0.
  */
 void itm_init(void);

hal/lp_ticker_api.h

@@ -79,7 +79,7 @@ ticker_irq_handler_type set_lp_ticker_irq_handler(ticker_irq_handler_type ticker
  *
  * @return The low power ticker data
  */
-const ticker_data_t* get_lp_ticker_data(void);
+const ticker_data_t *get_lp_ticker_data(void);
 
 /** The wrapper for ticker_irq_handler, to pass lp ticker's data
  *
@@ -207,7 +207,7 @@ void lp_ticker_disable_interrupt(void);
 void lp_ticker_clear_interrupt(void);
 
 /** Set pending interrupt that should be fired right away.
- * 
+ *
  * Pseudo Code:
  * @code
  * void lp_ticker_fire_interrupt(void)
@@ -232,7 +232,7 @@ void lp_ticker_fire_interrupt(void);
  * }
  * @endcode
  */
-const ticker_info_t* lp_ticker_get_info(void);
+const ticker_info_t *lp_ticker_get_info(void);
 
 /**@}*/
 

hal/mbed_gpio.c

@@ -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_in(gpio_t* gpio, PinName pin, PinMode mode)
     }
 }
 
-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 @@ static inline void _gpio_init_out(gpio_t* gpio, PinName pin, PinMode mode, int v
     }
 }
 
-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);
     }

hal/mbed_itm_api.c

@@ -21,7 +21,7 @@
 
 #include <stdbool.h>
 
-#define ITM_ENABLE_WRITE 0xC5ACCE55 
+#define ITM_ENABLE_WRITE 0xC5ACCE55
 
 #define SWO_NRZ 0x02
 #define SWO_STIMULUS_PORT 0x01
@@ -56,22 +56,21 @@ void mbed_itm_init(void)
         ITM->TPR  = 0x0;
 
         /* Trace Control Register */
-        ITM->TCR  = (1 << ITM_TCR_TraceBusID_Pos) | 
-                    (1 << ITM_TCR_DWTENA_Pos)     | 
+        ITM->TCR  = (1 << ITM_TCR_TraceBusID_Pos) |
+                    (1 << ITM_TCR_DWTENA_Pos)     |
                     (1 << ITM_TCR_SYNCENA_Pos)    |
                     (1 << ITM_TCR_ITMENA_Pos);
 
         /* Trace Enable Register */
-        ITM->TER = SWO_STIMULUS_PORT;    
+        ITM->TER = SWO_STIMULUS_PORT;
     }
 }
 
 uint32_t mbed_itm_send(uint32_t port, uint32_t data)
 {
     /* Check if ITM and port is enabled */
     if (((ITM->TCR & ITM_TCR_ITMENA_Msk) != 0UL) &&      /* ITM enabled */
-        ((ITM->TER & (1UL << port)     ) != 0UL)   )     /* ITM Port enabled */
-    {
+            ((ITM->TER & (1UL << port)) != 0UL)) {           /* ITM Port enabled */
         /* write data to port */
         ITM->PORT[port].u32 = data;