spin_unlock_irq(&port->lock); 
static int uart_tiocmget(struct tty_struct *tty, struct file *file){	struct uart_state *state = tty->driver_data;	struct uart_port *port = state->port;	int result = -EIO;	down(&state->sem);	if ((!file || !tty_hung_up_p(file)) &&	    !(tty->flags & (1 << TTY_IO_ERROR))) {		result = port->mctrl;		result |= port->ops->get_mctrl(port);	}	up(&state->sem);	return result;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c5f4644e6c8ba21666128603e4e92544d3cd740d/serial_core.c/buggy/drivers/serial/serial_core.c