arm/ipipe: convert to raw_printk()

arch/arm/include/asm/ipipe.h

@@ -294,11 +294,4 @@ static inline void __ipipe_update_vsyscall(struct timekeeper *tk) {}
 
 #endif /* !CONFIG_IPIPE */
 
-#if defined (CONFIG_IPIPE_DEBUG) &&		\
-	(defined(CONFIG_DEBUG_LL) || defined(CONFIG_SERIAL_8250_CONSOLE))
-void __ipipe_serial_debug(const char *fmt, ...);
-#else
-#define __ipipe_serial_debug(fmt, args...)	do { } while (0)
-#endif
-
 #endif	/* !__ARM_IPIPE_H */

arch/arm/kernel/ipipe.c

@@ -498,38 +498,6 @@ void deferred_switch_mm(struct mm_struct *next)
 #endif
 #endif /* CONFIG_MMU */
 
-#if defined(CONFIG_IPIPE_DEBUG) && defined(CONFIG_DEBUG_LL)
-void printascii(const char *s);
-
-static IPIPE_DEFINE_SPINLOCK(serial_debug_lock);
-
-void __ipipe_serial_debug(const char *fmt, ...)
-{
-	unsigned long flags;
-	char buf[128];
-	va_list ap;
-	int n;
-
-	va_start(ap, fmt);
-	n = vsnprintf(buf, sizeof(buf) - 2, fmt, ap);
-	va_end(ap);
-
-	if (n > 0 && buf[n - 1] == '\n') {
-		buf[n] = '\r';
-		buf[n+1] = '\0';
-	}
-
-	spin_lock_irqsave(&serial_debug_lock, flags);
-	printascii(buf);
-	spin_unlock_irqrestore(&serial_debug_lock, flags);
-}
-
-#ifndef CONFIG_SERIAL_8250_CONSOLE
-EXPORT_SYMBOL_GPL(__ipipe_serial_debug);
-#endif
-
-#endif
-
 EXPORT_SYMBOL_GPL(do_munmap);
 EXPORT_SYMBOL_GPL(show_stack);
 EXPORT_SYMBOL_GPL(init_mm);

arch/arm/kernel/smp_twd.c

@@ -64,7 +64,7 @@ void twd_hrtimer_debug(unsigned int irq) /* hw interrupt off */
 
 	if ((++per_cpu(irqs, cpu) % HZ) == 0) {
 #if 0
-		__ipipe_serial_debug("%c", 'A' + cpu);
+		raw_printk("%c", 'A' + cpu);
 #else
 		do { } while (0);
 #endif