total_int          43 drivers/input/serio/arc_ps2.c 	unsigned int total_int;
total_int          61 drivers/input/serio/arc_ps2.c 		arc_ps2->total_int++;
total_int         245 drivers/input/serio/arc_ps2.c 	dev_dbg(&pdev->dev, "interrupt count = %i\n", arc_ps2->total_int);