tag	line	file	source code
buf_num	1577	drivers/char/tty_io.c	if (tty->flip.buf_num) {
buf_num	1580	drivers/char/tty_io.c	tty->flip.buf_num = 0;
buf_num	1588	drivers/char/tty_io.c	tty->flip.buf_num = 1;
buf_num	87	include/linux/tty.h	int    buf_num;