gscps2_reset      302 drivers/input/serio/gscps2.c 	gscps2_reset(ps2port);
gscps2_reset      355 drivers/input/serio/gscps2.c 	gscps2_reset(ps2port);