start_port();  #ifdef CONFIG_ETRAX_KGDB /* kgdb needs to output debug info using the gdb protocol */ putDebugString(buf, len); return; #endif  if (debug_write_function) debug_write_function(co->index, buf, len); else console_write_direct(co, buf, len); 
console_write_direct(co, buf, len); 
console_write(struct console *co, const char *buf, unsigned int len){	if (!port)		return;#ifdef CONFIG_SVINTO_SIM	/* no use to simulate the serial debug output */	SIMCOUT(buf, len);	return;#endif	start_port();#ifdef CONFIG_ETRAX_KGDB	/* kgdb needs to output debug info using the gdb protocol */	putDebugString(buf, len);	return;#endif	if (debug_write_function)		debug_write_function(co->index, buf, len);	else		console_write_direct(co, buf, len);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/05b4c28cba8dc48505322988340307073c353b1e/debugport.c/clean/arch/cris/arch-v10/kernel/debugport.c