i8042_dmi_kbdreset_table  862 drivers/input/serio/i8042-x86ia64io.h static const struct dmi_system_id __initconst i8042_dmi_kbdreset_table[] = {
i8042_dmi_kbdreset_table 1217 drivers/input/serio/i8042-x86ia64io.h 	if (dmi_check_system(i8042_dmi_kbdreset_table))