i8042_nomux      1206 drivers/input/serio/i8042-x86ia64io.h 		i8042_nomux = true;
i8042_nomux      1209 drivers/input/serio/i8042-x86ia64io.h 		i8042_nomux = false;
i8042_nomux        39 drivers/input/serio/i8042.c static bool i8042_nomux;
i8042_nomux        40 drivers/input/serio/i8042.c module_param_named(nomux, i8042_nomux, bool, 0);
i8042_nomux      1448 drivers/input/serio/i8042.c 	if (i8042_nomux || i8042_check_mux()) {