I8042_AUX_PORT_NO  398 drivers/input/serio/i8042.c 	if (serio == i8042_ports[I8042_AUX_PORT_NO].serio) {
I8042_AUX_PORT_NO  580 drivers/input/serio/i8042.c 				I8042_AUX_PORT_NO : I8042_KBD_PORT_NO;
I8042_AUX_PORT_NO 1205 drivers/input/serio/i8042.c 	} else if (i8042_ports[I8042_AUX_PORT_NO].serio)
I8042_AUX_PORT_NO 1348 drivers/input/serio/i8042.c 	int port_no = idx < 0 ? I8042_AUX_PORT_NO : I8042_MUX_PORT_NO + idx;
I8042_AUX_PORT_NO 1392 drivers/input/serio/i8042.c 	for (i = I8042_AUX_PORT_NO; i < I8042_NUM_PORTS; i++) {