*port->write = val; 
*kgdb_port->write = val; 
putDebugChar(int val){	while (!(*port->read & IO_MASK(R_SERIAL0_READ, tr_ready)))		;	*port->write = val;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/05b4c28cba8dc48505322988340307073c353b1e/debugport.c/clean/arch/cris/arch-v10/kernel/debugport.c