/*
 * Copyright (C) 2012
 * Jean-Christophe PLAGNIOL-VILLARD <planioj@jcrosoft.com>
 *
 * Under GPLv2
 */

#ifndef __MACH_DEBUG_LL_H__
#define __MACH_DEBUG_LL_H__

#include <asm/io.h>
#include <mach/gpio.h>
#include <mach/hardware.h>
#include <mach/at91_dbgu.h>

#define ATMEL_US_CSR		0x0014
#define ATMEL_US_THR		0x001c
#define ATMEL_US_TXRDY		(1 << 1)
#define ATMEL_US_TXEMPTY	(1 << 9)

/*
 * The following code assumes the serial port has already been
 * initialized by the bootloader.  If you didn't setup a port in
 * your bootloader then nothing will appear (which might be desired).
 *
 * This does not append a newline
 */
static inline void at91_dbgu_putc(void __iomem *base, int c)
{
	while (!(readl(base + ATMEL_US_CSR) & ATMEL_US_TXRDY))
		barrier();
	writel(c, base + ATMEL_US_THR);

	while (!(readl(base + ATMEL_US_CSR) & ATMEL_US_TXEMPTY))
		barrier();
}

static inline void PUTC_LL(char c)
{
	at91_dbgu_putc(IOMEM(CONFIG_DEBUG_AT91_UART_BASE), c);
}

#endif