if (!ppc_md.udbg_getc)
if (!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;}