1 files changed, 21 insertions, 23 deletions
diff --git a/src/arch/stm32l4xxx/peripherals/irq.c b/src/arch/stm32l4xxx/peripherals/irq.c
index 364b9a7..7870a10 100644
--- a/src/arch/stm32l4xxx/peripherals/irq.c
+++ b/src/arch/stm32l4xxx/peripherals/irq.c
@@ -1,16 +1,14 @@
 #include "arch/stm32l4xxx/peripherals/irq.h"
-#include "arch/stm32l4xxx/peripherals/gpio.h"
-#include "arch/stm32l4xxx/peripherals/nvic.h"
 
 #include "arch.h"
+#include "arch/stm32l4xxx/peripherals/gpio.h"
+#include "arch/stm32l4xxx/peripherals/nvic.h"
 #include "kern/delay.h"
 #include "kern/gpio/gpio_manager.h"
 
 #define IRQ_RESERVED(n)
 #define IRQ(name, uname_, n) \
-  void WEAK name () { \
-    unhandled_isr(n); \
-  }
+  void WEAK name() { unhandled_isr(n); }
 #include "arch/stm32l4xxx/peripherals/isrs.inc"
 #undef IRQ_RESERVED
 #undef IRQ
@@ -54,28 +52,28 @@ void unhandled_isr(uint8_t number)
   gpio_reserved_pin_t pin3 = reserve_gpio_pin(GPIO_PIN_PB3, &opts, &ec);
 
   for (;;) {
-    for (int i = 0; i < 20; ++ i) {
-       set_gpio_pin_high(pin3);
-       delay(1000000);
-       set_gpio_pin_low(pin3);
-       delay(1000000);
+    for (int i = 0; i < 20; ++i) {
+      set_gpio_pin_high(pin3);
+      delay(1000000);
+      set_gpio_pin_low(pin3);
+      delay(1000000);
     }
     delay(50000000);
 
     int n = number;
-    for (int i = 0; i < 8; ++ i) {
+    for (int i = 0; i < 8; ++i) {
       if (n & 1) {
-       // LSB is a 1
-       set_gpio_pin_high(pin3);
-       delay(15000000);
-       set_gpio_pin_low(pin3);
-       delay(15000000);
+        // LSB is a 1
+        set_gpio_pin_high(pin3);
+        delay(15000000);
+        set_gpio_pin_low(pin3);
+        delay(15000000);
       } else {
-       // LSB is a 0
-       set_gpio_pin_high(pin3);
-       delay(1000000);
-       set_gpio_pin_low(pin3);
-       delay(29000000);
+        // LSB is a 0
+        set_gpio_pin_high(pin3);
+        delay(1000000);
+        set_gpio_pin_low(pin3);
+        delay(29000000);
       }
 
       n >>= 1;
@@ -85,12 +83,12 @@ void unhandled_isr(uint8_t number)
 
 void enable_interrupts(interrupt_set_t* interrupts)
 {
-  for (int i = 0; i < sizeof(NVIC.ise_r) / sizeof(uint32_t); ++ i)
+  for (int i = 0; i < sizeof(NVIC.ise_r) / sizeof(uint32_t); ++i)
     NVIC.ise_r[i] = interrupts->irqs[i];
 }
 
 void disable_interrupts(interrupt_set_t* interrupts)
 {
-  for (int i = 0; i < sizeof(NVIC.ise_r) / sizeof(uint32_t); ++ i)
+  for (int i = 0; i < sizeof(NVIC.ise_r) / sizeof(uint32_t); ++i)
     NVIC.ice_r[i] = interrupts->irqs[i];
 }