I8042_MUX_PORT_NO  571 drivers/input/serio/i8042.c 		port_no = I8042_MUX_PORT_NO + ((str >> 6) & 3);
I8042_MUX_PORT_NO 1348 drivers/input/serio/i8042.c 	int port_no = idx < 0 ? I8042_AUX_PORT_NO : I8042_MUX_PORT_NO + idx;