return serial_driver; 
if (port) *index = port->index; return port ? serial_driver : &dummy_driver; 
etrax_console_device(struct console* co, int *index){	return serial_driver;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/05b4c28cba8dc48505322988340307073c353b1e/debugport.c/clean/arch/cris/arch-v10/kernel/debugport.c