mux_version       664 drivers/input/serio/i8042.c static int i8042_set_mux_mode(bool multiplex, unsigned char *mux_version)
mux_version       696 drivers/input/serio/i8042.c 	if (mux_version)
mux_version       697 drivers/input/serio/i8042.c 		*mux_version = param;
mux_version       710 drivers/input/serio/i8042.c 	unsigned char mux_version;
mux_version       712 drivers/input/serio/i8042.c 	if (i8042_set_mux_mode(true, &mux_version))
mux_version       716 drivers/input/serio/i8042.c 		(mux_version >> 4) & 0xf, mux_version & 0xf);