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);