return udbg_getc_poll(); 
if (ppc_md.udbg_getc_poll) return ppc_md.udbg_getc_poll(); return -1; 
xmon_read_poll(void){	return udbg_getc_poll();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/41be31b7d61c661a63bb1d5c8be3c39f124beabd/start.c/buggy/arch/ppc64/xmon/start.c