tag	line	file	source code
buf_num	1629	drivers/char/tty_io.c	if (tty->flip.buf_num) {
buf_num	1632	drivers/char/tty_io.c	tty->flip.buf_num = 0;
buf_num	1640	drivers/char/tty_io.c	tty->flip.buf_num = 1;
buf_num	92	include/linux/tty.h	int    buf_num;