boards/asterix: format file

So CI is happy.

Signed-off-by: Gerard Marull-Paretas <gerard@teslabs.com>

src/fw/board/boards/board_asterix.c

@@ -1,71 +1,70 @@
-#include "board/board.h"
+#include <nrfx_i2s.h>
 
+#include "board/board.h"
+#include "drivers/flash/qspi_flash_definitions.h"
 #include "drivers/gpio.h"
 #include "drivers/i2c.h"
-#include "drivers/nrf5/uart_definitions.h"
+#include "drivers/i2c_definitions.h"
 #include "drivers/nrf5/i2c_hal_definitions.h"
 #include "drivers/nrf5/spi_definitions.h"
-#include "drivers/flash/qspi_flash_definitions.h"
-#include "drivers/i2c_definitions.h"
+#include "drivers/nrf5/uart_definitions.h"
+#include "drivers/pwm.h"
 #include "drivers/qspi_definitions.h"
 #include "drivers/temperature.h"
 #include "drivers/voltage_monitor.h"
 #include "flash_region/flash_region.h"
-#include "util/units.h"
-#include "system/passert.h"
 #include "kernel/util/sleep.h"
-#include "drivers/pwm.h"
-
-#include <nrfx_i2s.h>
+#include "system/passert.h"
+#include "util/units.h"
 
 // QSPI
-#include <nrfx_qspi.h>
+#include <hal/nrf_clock.h>
+#include <hal/nrf_gpio.h>
 #include <nrfx_gpiote.h>
+#include <nrfx_qspi.h>
 #include <nrfx_spim.h>
 #include <nrfx_twim.h>
-#include <hal/nrf_gpio.h>
-#include <hal/nrf_clock.h>
-
 
 static QSPIPortState s_qspi_port_state;
 static QSPIPort QSPI_PORT = {
-  .state = &s_qspi_port_state,
-  .auto_polling_interval = 16,
-  .cs_gpio = NRF_GPIO_PIN_MAP(0, 17),
-  .clk_gpio = NRF_GPIO_PIN_MAP(0, 19),
-  .data_gpio = {
-    NRF_GPIO_PIN_MAP(0, 20),
-    NRF_GPIO_PIN_MAP(0, 21),
-    NRF_GPIO_PIN_MAP(0, 22),
-    NRF_GPIO_PIN_MAP(0, 23),
-  },
+    .state = &s_qspi_port_state,
+    .auto_polling_interval = 16,
+    .cs_gpio = NRF_GPIO_PIN_MAP(0, 17),
+    .clk_gpio = NRF_GPIO_PIN_MAP(0, 19),
+    .data_gpio =
+        {
+            NRF_GPIO_PIN_MAP(0, 20),
+            NRF_GPIO_PIN_MAP(0, 21),
+            NRF_GPIO_PIN_MAP(0, 22),
+            NRF_GPIO_PIN_MAP(0, 23),
+        },
 };
-QSPIPort * const QSPI = &QSPI_PORT;
+QSPIPort *const QSPI = &QSPI_PORT;
 
 static QSPIFlashState s_qspi_flash_state;
 static QSPIFlash QSPI_FLASH_DEVICE = {
-  .state = &s_qspi_flash_state,
-  .qspi = &QSPI_PORT,
-  .default_fast_read_ddr_enabled = false,
-  .read_mode = QSPI_FLASH_READ_READ4IO,
-  .write_mode = QSPI_FLASH_WRITE_PP4O,
-  .reset_gpio = { GPIO_Port_NULL },
+    .state = &s_qspi_flash_state,
+    .qspi = &QSPI_PORT,
+    .default_fast_read_ddr_enabled = false,
+    .read_mode = QSPI_FLASH_READ_READ4IO,
+    .write_mode = QSPI_FLASH_WRITE_PP4O,
+    .reset_gpio = {GPIO_Port_NULL},
 };
-QSPIFlash * const QSPI_FLASH = &QSPI_FLASH_DEVICE;
+QSPIFlash *const QSPI_FLASH = &QSPI_FLASH_DEVICE;
 IRQ_MAP_NRFX(QSPI, nrfx_qspi_irq_handler);
 /* PERIPHERAL ID 43 */
 
 static UARTDeviceState s_dbg_uart_state;
 static UARTDevice DBG_UART_DEVICE = {
-  .state = &s_dbg_uart_state,
-  .tx_gpio = NRF_GPIO_PIN_MAP(0, 27),
-  .rx_gpio = NRF_GPIO_PIN_MAP(0, 5),
-  .rts_gpio = NRF_UARTE_PSEL_DISCONNECTED,
-  .cts_gpio = NRF_UARTE_PSEL_DISCONNECTED,
-  .periph = NRFX_UARTE_INSTANCE(0),
-  .counter = NRFX_TIMER_INSTANCE(2),
+    .state = &s_dbg_uart_state,
+    .tx_gpio = NRF_GPIO_PIN_MAP(0, 27),
+    .rx_gpio = NRF_GPIO_PIN_MAP(0, 5),
+    .rts_gpio = NRF_UARTE_PSEL_DISCONNECTED,
+    .cts_gpio = NRF_UARTE_PSEL_DISCONNECTED,
+    .periph = NRFX_UARTE_INSTANCE(0),
+    .counter = NRFX_TIMER_INSTANCE(2),
 };
-UARTDevice * const DBG_UART = &DBG_UART_DEVICE;
+UARTDevice *const DBG_UART = &DBG_UART_DEVICE;
 IRQ_MAP_NRFX(UART0_UARTE0, nrfx_uarte_0_irq_handler);
 /* PERIPHERAL ID 8 */
 
@@ -85,54 +84,58 @@ IRQ_MAP_NRFX(GPIOTE, nrfx_gpiote_0_irq_handler);
 static I2CBusState I2C_NPMC_IIC1_BUS_STATE = {};
 
 static const I2CBusHal I2C_NPMC_IIC1_BUS_HAL = {
-  .twim = NRFX_TWIM_INSTANCE(1),
-  .frequency = NRF_TWIM_FREQ_400K,
+    .twim = NRFX_TWIM_INSTANCE(1),
+    .frequency = NRF_TWIM_FREQ_400K,
 };
 
 static const I2CBus I2C_NPMC_IIC1_BUS = {
-  .state = &I2C_NPMC_IIC1_BUS_STATE,
-  .hal = &I2C_NPMC_IIC1_BUS_HAL,
-  .scl_gpio = {
-    .gpio = NRF5_GPIO_RESOURCE_EXISTS,
-    .gpio_pin = NRF_GPIO_PIN_MAP(0, 14),
-  },
-  .sda_gpio = {
-    .gpio = NRF5_GPIO_RESOURCE_EXISTS,
-    .gpio_pin = NRF_GPIO_PIN_MAP(0, 15),
-  },
-  .name = "I2C_NPMC_IIC1"
+    .state = &I2C_NPMC_IIC1_BUS_STATE,
+    .hal = &I2C_NPMC_IIC1_BUS_HAL,
+    .scl_gpio =
+        {
+            .gpio = NRF5_GPIO_RESOURCE_EXISTS,
+            .gpio_pin = NRF_GPIO_PIN_MAP(0, 14),
+        },
+    .sda_gpio =
+        {
+            .gpio = NRF5_GPIO_RESOURCE_EXISTS,
+            .gpio_pin = NRF_GPIO_PIN_MAP(0, 15),
+        },
+    .name = "I2C_NPMC_IIC1",
 };
 IRQ_MAP_NRFX(SPI1_SPIM1_SPIS1_TWI1_TWIM1_TWIS1, nrfx_twim_1_irq_handler);
 /* PERIPHERAL ID 9 */
 
 static const I2CSlavePort I2C_SLAVE_NPM1300 = {
-  .bus = &I2C_NPMC_IIC1_BUS,
-  .address = 0xD6,
+    .bus = &I2C_NPMC_IIC1_BUS,
+    .address = 0xD6,
 };
 
-I2CSlavePort * const I2C_NPM1300 = &I2C_SLAVE_NPM1300;
+I2CSlavePort *const I2C_NPM1300 = &I2C_SLAVE_NPM1300;
 
 /* peripheral I2C bus */
 static I2CBusState I2C_IIC2_BUS_STATE = {};
 
 static const I2CBusHal I2C_IIC2_BUS_HAL = {
-  .twim = NRFX_TWIM_INSTANCE(0),
-  .frequency = NRF_TWIM_FREQ_400K,
+    .twim = NRFX_TWIM_INSTANCE(0),
+    .frequency = NRF_TWIM_FREQ_400K,
 };
 
 /* FIXME */
 static const I2CBus I2C_IIC2_BUS = {
-  .state = &I2C_IIC2_BUS_STATE,
-  .hal = &I2C_IIC2_BUS_HAL,
-  .scl_gpio = {
-    .gpio = NRF5_GPIO_RESOURCE_EXISTS,
-    .gpio_pin = NRF_GPIO_PIN_MAP(0, 25),
-  },
-  .sda_gpio = {
-    .gpio = NRF5_GPIO_RESOURCE_EXISTS,
-    .gpio_pin = NRF_GPIO_PIN_MAP(0, 11),
-  },
-  .name = "I2C_IIC2"
+    .state = &I2C_IIC2_BUS_STATE,
+    .hal = &I2C_IIC2_BUS_HAL,
+    .scl_gpio =
+        {
+            .gpio = NRF5_GPIO_RESOURCE_EXISTS,
+            .gpio_pin = NRF_GPIO_PIN_MAP(0, 25),
+        },
+    .sda_gpio =
+        {
+            .gpio = NRF5_GPIO_RESOURCE_EXISTS,
+            .gpio_pin = NRF_GPIO_PIN_MAP(0, 11),
+        },
+    .name = "I2C_IIC2",
 };
 IRQ_MAP_NRFX(SPI0_SPIM0_SPIS0_TWI0_TWIM0_TWIS0, nrfx_twim_0_irq_handler);
 
@@ -147,7 +150,7 @@ IRQ_MAP_NRFX(PWM0, nrfx_pwm_0_irq_handler);
 
 void board_early_init(void) {
   PBL_LOG(LOG_LEVEL_ERROR, "asterix early init");
-  
+
   /* shared SPI chip outputs */
   nrf_gpio_cfg_output(15);
   nrf_gpio_cfg_output(16);