ppc_md.udbg_putc(c);
udbg_putc(c);
void udbg_puts(const char *s){	if (ppc_md.udbg_putc) {		char c;		if (s && *s != '\0') {			while ((c = *s++) != '\0')				ppc_md.udbg_putc(c);		}	}#if 0	else {		printk("%s", s);	}#endif}