psmouse_resync_time   77 drivers/input/mouse/psmouse-base.c static unsigned int psmouse_resync_time;
psmouse_resync_time   78 drivers/input/mouse/psmouse-base.c module_param_named(resync_time, psmouse_resync_time, uint, 0644);
psmouse_resync_time 1629 drivers/input/mouse/psmouse-base.c 	psmouse->resync_time = parent ? 0 : psmouse_resync_time;