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()) {