i8042_set_mux_mode
i8042_set_mux_mode(false, NULL);
if (i8042_set_mux_mode(true, NULL) || i8042_enable_mux_ports())
if (i8042_set_mux_mode(true, &mux_version))