Trying to fix SW lint.

pulp-platform · Dec 5, 2023 · a084d35 · a084d35
1 parent c8194f0
commit a084d35
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/sw/lib/dif/uart.c b/sw/lib/dif/uart.c
@@ -67,9 +67,9 @@ void uart_read_str(void *uart_base, void *dst, uint64_t len) {
 
 // Default UART provides console
 void uart_open(){
-  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, 115200);
+    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, 115200);
 };
 
 void _putchar(char character) {
@@ -81,5 +81,6 @@ char _getchar() {
 };
 
 void uart_close() {
-  uart_write_flush(&__base_uart);
+    uart_write_flush(&__base_uart);
 };
+