| // Copyright 2018 The Fuchsia Authors |
| // |
| // Use of this source code is governed by a MIT-style |
| // license that can be found in the LICENSE file or at |
| // https://opensource.org/licenses/MIT |
| |
| #include <stdint.h> |
| |
| #include "debug.h" |
| |
| #define S905_UART_WFIFO (0x0) |
| #define S905_UART_STATUS (0xc) |
| #define S905_UART_STATUS_TXFULL (1 << 21) |
| |
| #define UARTREG(reg) (*(volatile uint32_t*)(0xff803000 + (reg))) |
| |
| void uart_pputc(char c) { |
| while (UARTREG(S905_UART_STATUS) & S905_UART_STATUS_TXFULL) |
| ; |
| UARTREG(S905_UART_WFIFO) = c; |
| } |