tag	line	file	source code
mouse_reporting_p	72	drivers/char/tty_io.c	extern int mouse_reporting_p(void);
mouse_reporting_p	1397	drivers/char/tty_io.c	return mouse_reporting_p();