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