mbv: black

mbv/apps/timer/timer.cc

@@ -1,3 +1,5 @@
+#include "timer.h"
+
 #include <cstdint>
 
 #include "bios.h"
@@ -5,7 +7,6 @@
 #include "intc.h"
 #include "interrupts.h"
 #include "pol0.h"
-#include "timer.h"
 
 namespace {
 

mbv/apps/uart/uart.cc

@@ -23,16 +23,11 @@ XUartLite* uart0 = &uart0_inst;
 
 volatile int incoming = 0;
 
-void HandleUartRxFromIsr(void*, unsigned int) {
+void HandleUartRxFromIsr(void*, unsigned int) { incoming += 1; }
-    incoming += 1;
-}
 
-void HandleUartTxFromIsr(void*, unsigned int) {
+void HandleUartTxFromIsr(void*, unsigned int) {}
-}
 
-void Uart0Isr() {
+void Uart0Isr() { XUartLite_InterruptHandler(uart0); }
-    XUartLite_InterruptHandler(uart0);
-}
 
 void InitUarts() {
     XUartLite_CfgInitialize(uart0, &uart0_config, uart0_config.RegBaseAddr);
@@ -62,7 +57,8 @@ int main() {
     uint8_t c;
     while (XUartLite_Recv(uart0, &c, 1) > 0) {
         XUartLite_Send(uart0, &c, 1);
-        while (XUartLite_IsSending(uart0)) {}
+        while (XUartLite_IsSending(uart0)) {
+        }
     }
     leds->data = 0xa1;
     while (1) {
@@ -71,10 +67,12 @@ int main() {
             counter += 1;
             leds->data = counter;
             XUartLite_Send(uart0, &c, 1);
-            while (XUartLite_IsSending(uart0)) {}
+            while (XUartLite_IsSending(uart0)) {
+            }
             while (XUartLite_Recv(uart0, &c, 1) > 0) {
                 XUartLite_Send(uart0, &c, 1);
-                while (XUartLite_IsSending(uart0)) {}
+                while (XUartLite_IsSending(uart0)) {
+                }
             }
             incoming -= 1;
         }

mbv/bootloader/bootloader.cc

@@ -52,7 +52,8 @@ uint8_t UartRead() {
 
 void UartWrite(uint8_t c) {
     XUartLite_Send(uart0, &c, 1);
-    while (XUartLite_IsSending(uart0)) {}
+    while (XUartLite_IsSending(uart0)) {
+    }
 }
 
 int main() {

mbv/bootloader/wozmon.cc

@@ -88,8 +88,7 @@ int FindChar(const char* buf, uint8_t c) {
 
 }  // namespace
 
-__attribute__((used))
+__attribute__((used)) void wozmon() {
-void wozmon() {
     uint32_t cur_addr = 0;
     uint32_t cur_data = 0;
 

mbv/hal/bios.h

@@ -8,5 +8,4 @@ uint8_t BiosUartRead();
 void BiosUartWrite(uint8_t);
 void BiosWozmon();
 void BiosUartWriteNibble(uint8_t);
-
 }

mbv/hal/debug.cc

@@ -7,20 +7,17 @@ void BiosUartWrite(uint8_t);
 void BiosWozmon();
 void BiosUartWriteNibble(uint8_t n);
 
-__attribute__((used))
+__attribute__((used)) void UartWriteU32(uint32_t a) {
-void UartWriteU32(uint32_t a) {
     for (int i = 0; i < 8; i++) {
         BiosUartWriteNibble(a >> 28);
         a <<= 4;
     }
 }
 
-__attribute__((used))
+__attribute__((used)) void UartWriteString(const char* s) {
-void UartWriteString(const char* s) {
     while (*s) {
         BiosUartWrite(*s);
         s++;
     }
 }
-
 }

mbv/hal/intc.cc

@@ -39,13 +39,9 @@ bool SetIrqEnabled(uint8_t irqn, bool enabled) {
     return was_enabled;
 }
 
-void SetIsr(uint8_t irqn, Isr isr) {
+void SetIsr(uint8_t irqn, Isr isr) { isrs[irqn] = isr; }
-    isrs[irqn] = isr;
-}
 
-void EnableInterrupts() {
+void EnableInterrupts() { intc->MER = 0x3; }
-    intc->MER = 0x3;
-}
 
 void InterruptHandler() {
     uint32_t ipr = intc->IPR;

mbv/hal/interrupts.cc

@@ -1,7 +1,8 @@
+#include "interrupts.h"
+
 #include <cstdint>
 
 #include "bios.h"
-#include "interrupts.h"
 
 namespace {
 
@@ -12,8 +13,7 @@ constexpr uint32_t kInterruptCauseMask = 0xff;
 
 Isr external_handler = nullptr;
 
-__attribute__((interrupt))
+__attribute__((interrupt)) void TrapHandler() {
-void TrapHandler() {
     uint32_t mcause;
     uint32_t mip;
     asm volatile("csrr %0, mcause" : "=r"(mcause));
@@ -34,9 +34,7 @@ void TrapHandler() {
 
 }  // namespace
 
-void SetExternalInterruptHandler(Isr handler) {
+void SetExternalInterruptHandler(Isr handler) { external_handler = handler; }
-    external_handler = handler;
-}
 
 void EnableExternalInterrupts() {
     uint32_t mie;

mbv/hal/start.cc

@@ -3,8 +3,7 @@
 extern "C" uint32_t _bss_begin, _bss_end, _initial_stack_pointer;
 extern "C" int main();
 
-__attribute__((section(".start"), used, naked))
+__attribute__((section(".start"), used, naked)) void _start() {
-void _start() {
     // clear .bss
     for (uint32_t* ptr = &_bss_begin; ptr < &_bss_end; ptr++) {
         *ptr = 0;

mbv/hal/timer.h

@@ -59,9 +59,7 @@ struct Timer {
         TCSR0.ENT0 = 1;
     }
 
-    void ClearInterrupt() {
+    void ClearInterrupt() { TCSR0.T0INT = 0; }
-        TCSR0.T0INT = 0;
-    }
 
     static Timer* Instance(uint32_t base) {
         return reinterpret_cast<Timer*>(base);

mbv/prog.py

@@ -6,7 +6,7 @@ import threading
 import time
 
 offset = 0x80000000
-tty = '/dev/ttyUSB1'
+tty = "/dev/ttyUSB1"
 baud = 115200
 chunksize = 1024
 
@@ -14,24 +14,24 @@ chunksize = 1024
 def write(s, offset, dat):
     for i in range(0, len(dat), chunksize):
         chunk = dat[i : i + chunksize]
-        cmd = struct.pack('<cII', b'c', offset + i, len(chunk))
+        cmd = struct.pack("<cII", b"c", offset + i, len(chunk))
 
-        print(f'Sending {len(chunk)} bytes @0x{offset + i:04x}')
+        print(f"Sending {len(chunk)} bytes @0x{offset + i:04x}")
 
         s.write(cmd)
         s.write(chunk)
 
         ack = s.read(2)
         if len(ack) < 2:
-            raise RuntimeError(f'timeout waiting for full ack. got {ack}')
+            raise RuntimeError(f"timeout waiting for full ack. got {ack}")
-        if ack[0] != b'a'[0]:
+        if ack[0] != b"a"[0]:
-            raise RuntimeError(f'expected ack, got this instead: {ack}')
+            raise RuntimeError(f"expected ack, got this instead: {ack}")
-        print(f'Ack! len={ack[1]}')
+        print(f"Ack! len={ack[1]}")
 
 
 def jump(s, offset):
-        cmd = struct.pack('<cI', b'j', offset)
+    cmd = struct.pack("<cI", b"j", offset)
-        print(f'Jumping to 0x{offset:04x}')
+    print(f"Jumping to 0x{offset:04x}")
     s.write(cmd)
 
 
@@ -40,21 +40,25 @@ def stream_logs(s):
         dat = s.read()
         if not dat:
             continue
-        sys.stdout.buffer.write(dat.replace(b'\r', b''))
+        sys.stdout.buffer.write(dat.replace(b"\r", b""))
         sys.stdout.buffer.flush()
 
 
 def parse_args():
     parser = argparse.ArgumentParser()
     parser.add_argument("binary")
-    parser.add_argument("--monitor", action="store_true",
+    parser.add_argument(
-                        help="wait for and display program serial output")
+        "--monitor",
+        action="store_true",
+        help="wait for and display program serial output",
+    )
     return parser.parse_args()
 
+
 def main():
     args = parse_args()
 
-    with open(args.binary, 'rb') as f:
+    with open(args.binary, "rb") as f:
         dat = f.read()
 
     s = serial.Serial(tty, baud, timeout=1)
@@ -67,7 +71,7 @@ def main():
 
         try:
             while True:
-                dat = input("") + '\r'
+                dat = input("") + "\r"
                 s.write(dat.encode())
         except KeyboardInterrupt:
             print("Bye.")