c = ppc_md.udbg_getc(); 
c = udbg_getc(); 
int udbg_read(char *buf, int buflen){	char c, *p = buf;	int i;	if (!ppc_md.udbg_getc)		return 0;	for (i = 0; i < buflen; ++i) {		do {			c = ppc_md.udbg_getc();		} while (c == 0x11 || c == 0x13);		if (c == 0)			break;		*p++ = c;	}	return i;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c8f1c8be629ee34991fdba8bfe46a5c455393209/udbg.c/buggy/arch/ppc64/kernel/udbg.c