#define TX_DONE (UART_LSR_TEMT|UART_LSR_THRE)
-static inline void putc(char c)
+static __inline__ void putc(char c)
{
- while ((uart_base[UART_LSR] & TX_DONE) != TX_DONE)
- barrier();
+ while ((uart_base[UART_LSR] & TX_DONE) != TX_DONE);
*uart_base = c;
}
-static inline void flush(void)
+/*
+ * This does not append a newline
+ */
+static void putstr(const char *s)
{
+ while (*s) {
+ putc(*s);
+ if (*s == '\n')
+ putc('\r');
+ s++;
+ }
}
static __inline__ void __arch_decomp_setup(unsigned long arch_id)