i8042_dmi_nomux_table 233 drivers/input/serio/i8042-x86ia64io.h static const struct dmi_system_id __initconst i8042_dmi_nomux_table[] = { i8042_dmi_nomux_table 1205 drivers/input/serio/i8042-x86ia64io.h if (dmi_check_system(i8042_dmi_nomux_table))