i8042_dmi_reset_table  573 drivers/input/serio/i8042-x86ia64io.h static const struct dmi_system_id __initconst i8042_dmi_reset_table[] = {
i8042_dmi_reset_table 1195 drivers/input/serio/i8042-x86ia64io.h 		if (dmi_check_system(i8042_dmi_reset_table))