i8042_set_mux_mode  712 drivers/input/serio/i8042.c 	if (i8042_set_mux_mode(true, &mux_version))
i8042_set_mux_mode 1089 drivers/input/serio/i8042.c 		i8042_set_mux_mode(false, NULL);
i8042_set_mux_mode 1203 drivers/input/serio/i8042.c 		if (i8042_set_mux_mode(true, NULL) || i8042_enable_mux_ports())