#include <common.h>
#include <serial.h>
-#if defined(CONFIG_CPU_V6)
+#if defined(CONFIG_CPU_V6) || defined(CONFIG_CPU_V7)
/*
- * ARMV6
+ * ARMV6 & ARMV7
*/
#define DCC_RBIT (1 << 30)
#define DCC_WBIT (1 << 29)
write_dcc(ch);
}
-static void arm_dcc_puts(const char *s)
-{
- while (*s)
- arm_dcc_putc(*s++);
-}
-
static int arm_dcc_tstc(void)
{
register unsigned int reg;
.stop = NULL,
.setbrg = arm_dcc_setbrg,
.putc = arm_dcc_putc,
- .puts = arm_dcc_puts,
+ .puts = default_serial_puts,
.getc = arm_dcc_getc,
.tstc = arm_dcc_tstc,
};