tag	line	file	source code
mouse_reporting	76	drivers/char/tty_io.c	extern int mouse_reporting(void);
mouse_reporting	1480	drivers/char/tty_io.c	put_fs_byte(mouse_reporting(),arg);