tag	line	file	source code
mouse_reporting	144	drivers/char/selection.c	if (mouse_reporting() && (sel_mode & 16)) {
mouse_reporting	12	drivers/char/selection.h	extern int mouse_reporting(void);
mouse_reporting	1549	drivers/char/tty_io.c	put_user(mouse_reporting(),(char *) arg);