Symbol: I8042_MUX_PORT_NO
drivers/input/serio/i8042.c
1354
int port_no = idx < 0 ? I8042_AUX_PORT_NO : I8042_MUX_PORT_NO + idx;
drivers/input/serio/i8042.c
547
return I8042_MUX_PORT_NO + mux_port;