// 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;
}