Lint fixes

Author: ezelioli

sw/lib/smp.c

@@ -11,41 +11,38 @@ void smp_resume(void) {
     uint32_t num_harts = *reg32(&__base_regs, CHESHIRE_NUM_INT_HARTS_REG_OFFSET);
     // Flush cache and wake-up all sleeping cores
     fence();
-    for (uint32_t i=1; i<num_harts; i++) {
+    for (uint32_t i = 1; i < num_harts; i++) {
         *reg32(&__base_clint, i << 2) = 0x1;
-        while (*reg32(&__base_clint, i << 2));
+        while (*reg32(&__base_clint, i << 2))
+            ;
     }
 }
 
 // Shared variable for barrier synchronization
 static volatile uint64_t _barrier_target = 0;
 
-static void barrier_wait(volatile uint64_t* barrier, uint64_t incr, uint64_t reach) {
-  asm volatile (
-      "amoadd.d x6, %1, (%0)             \n"
-      "2:                                \n"
-      "fence                             \n"
-      "ld     x6, 0(%0)                  \n"
-      "bne    x6, %2, 2b                 \n"
-
-  : /* output operands */
-  : /* input operands */
-    "r"(barrier),
-    "r"(incr),
-    "r"(reach)
-  : /* clobbered registers */
-    "x6"
-  );
+static void barrier_wait(volatile uint64_t *barrier, uint64_t incr, uint64_t reach) {
+    asm volatile("amoadd.d x6, %1, (%0)             \n"
+                 "2:                                \n"
+                 "fence                             \n"
+                 "ld     x6, 0(%0)                  \n"
+                 "bne    x6, %2, 2b                 \n"
+
+                 : /* output operands */
+                 : /* input operands */
+                 "r"(barrier), "r"(incr), "r"(reach)
+                 : /* clobbered registers */
+                 "x6");
 }
 
 void smp_barrier_init() {
-  _barrier_target = 0;
+    _barrier_target = 0;
 }
 
 void smp_barrier_up(uint64_t n_processes) {
-  barrier_wait(&_barrier_target, 1, n_processes);
+    barrier_wait(&_barrier_target, 1, n_processes);
 }
 
 void smp_barrier_down() {
-  barrier_wait(&_barrier_target, -1, 0);
+    barrier_wait(&_barrier_target, -1, 0);
 }

sw/tests/smp_hello.c

@@ -20,29 +20,23 @@
 uint32_t __attribute__((section(".data"))) semaphore = 0x0;
 
 void semaphore_wait() {
-    asm volatile (
-        "   li t0, 1                    \n"
-        "1:                             \n"
-        "   amoswap.w.aq t0, t0, (%0)   \n"
-        "   bnez t0, 1b                 \n"
-        ::"r"(&semaphore)
-    );
+    asm volatile("   li t0, 1                    \n"
+                 "1:                             \n"
+                 "   amoswap.w.aq t0, t0, (%0)   \n"
+                 "   bnez t0, 1b                 \n" ::"r"(&semaphore));
 }
 
 void semaphore_post() {
-    asm volatile (
-        "   amoswap.w.rl zero, zero, (%0)   \n"
-        ::"r"(&semaphore)
-    );
+    asm volatile("   amoswap.w.rl zero, zero, (%0)   \n" ::"r"(&semaphore));
 }
 
 int main(void) {
 
-    uint64_t hart_id   = get_mhartid();
+    uint64_t hart_id = get_mhartid();
     uint32_t num_harts = *reg32(&__base_regs, CHESHIRE_NUM_INT_HARTS_REG_OFFSET);
 
     if (hart_id == 0) {
-        uint32_t rtc_freq   = *reg32(&__base_regs, CHESHIRE_RTC_FREQ_REG_OFFSET);
+        uint32_t rtc_freq = *reg32(&__base_regs, CHESHIRE_RTC_FREQ_REG_OFFSET);
         uint64_t reset_freq = clint_get_core_freq(rtc_freq, 2500);
         uart_init(&__base_uart, reset_freq, __BOOT_BAUDRATE);
         smp_barrier_init();
@@ -51,7 +45,7 @@ int main(void) {
 
     smp_barrier_up(num_harts);
 
-    for (uint64_t i=0; i<1; i++) {
+    for (uint64_t i = 0; i < 1; i++) {
         semaphore_wait();
         printf("Core %d/%d up\n", hart_id, num_harts);
         uart_write_flush(&__base_uart);