readval = *port->read; 
readval = *kgdb_port->read; 
getDebugChar(void){	unsigned long readval;	do {		readval = *port->read;	} while (!(readval & IO_MASK(R_SERIAL0_READ, data_avail)));	return (readval & IO_MASK(R_SERIAL0_READ, data_in));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/05b4c28cba8dc48505322988340307073c353b1e/debugport.c/clean/arch/cris/arch-v10/kernel/debugport.c