tqma serial: Fix return of uart_putchar

Signed-off-by: Indan Zupancic <[email protected]>
seL4 · Nov 27, 2024 · dd18d99 · dd18d99
1 parent 812a22c
commit dd18d99
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/libplatsupport/src/plat/tqma8xqp1gb/serial.c b/libplatsupport/src/plat/tqma8xqp1gb/serial.c
@@ -50,6 +50,7 @@ int uart_putchar(ps_chardevice_t *d, int c)
     /* Wait to be able to transmit. */
     while (!(*UART_REG(d, STAT) & STAT_TDRE)) { }
     *UART_REG(d, TRANSMIT_RECEIVE) = c;
+    return 0;
 }