I8042_NUM_MUX_PORTS  157 drivers/input/serio/i8042.c #define I8042_NUM_PORTS		(I8042_NUM_MUX_PORTS + 2)
I8042_NUM_MUX_PORTS  650 drivers/input/serio/i8042.c 	for (i = 0; i < I8042_NUM_MUX_PORTS; i++) {
I8042_NUM_MUX_PORTS 1454 drivers/input/serio/i8042.c 		for (i = 0; i < I8042_NUM_MUX_PORTS; i++) {