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));}