I8042_AUX_PORT_NO
} else if (i8042_ports[I8042_AUX_PORT_NO].serio) {
int port_no = idx < 0 ? I8042_AUX_PORT_NO : I8042_MUX_PORT_NO + idx;
for (i = I8042_AUX_PORT_NO; i < I8042_NUM_PORTS; i++) {
if (serio == i8042_ports[I8042_AUX_PORT_NO].serio) {
I8042_AUX_PORT_NO : I8042_KBD_PORT_NO;