ps2_packet_cnt    638 drivers/input/mouse/sentelic.c 	static unsigned int ps2_packet_cnt;
ps2_packet_cnt    662 drivers/input/mouse/sentelic.c 	ps2_packet_cnt++;
ps2_packet_cnt    671 drivers/input/mouse/sentelic.c 		psmouse_dbg(psmouse, "PS/2 packets/sec = %d\n", ps2_packet_cnt);
ps2_packet_cnt    672 drivers/input/mouse/sentelic.c 		ps2_packet_cnt = 0;