tag	line	file	source code
atari_mouse_y_threshold	29	drivers/char/atarimouse.c	static int atari_mouse_x_threshold = 2, atari_mouse_y_threshold = 2;
atari_mouse_y_threshold	83	drivers/char/atarimouse.c	ikbd_mouse_thresh (atari_mouse_x_threshold, atari_mouse_y_threshold);
atari_mouse_y_threshold	190	drivers/char/atarimouse.c	atari_mouse_y_threshold = ints[1];
atari_mouse_y_threshold	195	drivers/char/atarimouse.c	atari_mouse_y_threshold = ints[2];