/*
   * This file is subject to the terms and conditions of the GNU General Public
   * License.  See the file "COPYING" in the main directory of this archive
   * for more details.
   *
   * Copyright (C) 2008 Maxime Bizon <mbizon@freebox.fr>
   */
  
  #include <bcm63xx_io.h>
  #include <linux/serial_bcm63xx.h>
  
  static void wait_xfered(void)
  {
  	unsigned int val;
  
  	/* wait for any previous char to be transmitted */
  	do {
  		val = bcm_uart0_readl(UART_IR_REG);
  		if (val & UART_IR_STAT(UART_IR_TXEMPTY))
  			break;
  	} while (1);
  }
  
  void prom_putchar(char c)
  {
  	wait_xfered();
  	bcm_uart0_writel(c, UART_FIFO_REG);
  	wait_xfered();
  }