/* LF -> CRLF */ if (buf[i] == '\n') { while (!(*port->read & IO_MASK(R_SERIAL0_READ, tr_ready))) ; *port->write = '\r'; } 
console_write_direct(struct console *co, const char *buf, unsigned int len){	int i;	unsigned long flags;	local_irq_save(flags);	/* Send data */	for (i = 0; i < len; i++) {		/* Wait until transmitter is ready and send.*/		while (!(*port->read & IO_MASK(R_SERIAL0_READ, tr_ready)))			;		*port->write = buf[i];	}	local_irq_restore(flags);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/05b4c28cba8dc48505322988340307073c353b1e/debugport.c/clean/arch/cris/arch-v10/kernel/debugport.c