if (!ppc_md.udbg_putc) 
if (!udbg_putc) 
int udbg_write(const char *s, int n){	int remain = n;	char c;	if (!ppc_md.udbg_putc)		return 0;	if (s && *s != '\0') {		while (((c = *s++) != '\0') && (remain-- > 0)) {			ppc_md.udbg_putc(c);		}	}	return n - remain;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c8f1c8be629ee34991fdba8bfe46a5c455393209/udbg.c/clean/arch/ppc64/kernel/udbg.c