if (ppc_md.udbg_putc) { 
if (udbg_putc) { 
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}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c8f1c8be629ee34991fdba8bfe46a5c455393209/udbg.c/clean/arch/ppc64/kernel/udbg.c