Symbol: PS2_IRQ_MAX_INTERVAL_US
drivers/input/serio/ps2-gpio.c
183
if (us_delta > PS2_IRQ_MAX_INTERVAL_US && cnt) {
drivers/input/serio/ps2-gpio.c
293
if (us_delta > PS2_IRQ_MAX_INTERVAL_US && cnt > 1) {