spin_unlock_irqrestore(&port->ip_lock, port_flags); 
spin_unlock_irqrestore(&the_port->lock, port_flags); 
ic4_set_termios(struct uart_port *the_port,		struct termios *termios, struct termios *old_termios){	struct ioc4_port *port = get_ioc4_port(the_port);	unsigned long port_flags;	spin_lock_irqsave(&port->ip_lock, port_flags);	ioc4_change_speed(the_port, termios, old_termios);	spin_unlock_irqrestore(&port->ip_lock, port_flags);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/396dc44bcac58f464b7b23c345052e37881cccea/ioc4_serial.c/buggy/drivers/serial/ioc4_serial.c