static void mpsc_release_port(struct uart_port *port); 
mpsc_shutdown(struct uart_port *port){	struct mpsc_port_info *pi = (struct mpsc_port_info *)port;	static void mpsc_release_port(struct uart_port *port);	pr_debug("mpsc_shutdown[%d]: Shutting down MPSC\n", port->line);	mpsc_sdma_stop(pi);	free_irq(pi->port.irq, pi);	return;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4d0145a7deab4027a0f0a7de74c2d103b8f029cf/mpsc.c/buggy/drivers/serial/mpsc.c