psmouse_resolution   57 drivers/input/mouse/psmouse-base.c static unsigned int psmouse_resolution = 200;
psmouse_resolution   58 drivers/input/mouse/psmouse-base.c module_param_named(resolution, psmouse_resolution, uint, 0644);
psmouse_resolution 1627 drivers/input/mouse/psmouse-base.c 	psmouse->resolution = psmouse_resolution;