/* Add a character to the tty read_buf queue. This is done under the read_lock to serialize character addition and also to protect us against parallel reads or flushes  */
static void put_tty_queue(unsigned char c, struct tty_struct *tty)
/* Add a character to the tty read_buf queue. This is done under the read_lock to serialize character addition and also to protect us against parallel reads or flushes  */
static void put_tty_queue(unsigned char c, struct tty_struct *tty)
{
	unsigned long flags;
	spin_lock_irqsave(&tty->read_lock, flags);
	put_tty_queue_nolock(c, tty);
	spin_unlock_irqrestore(&tty->read_lock, flags);
}