i8042_dmi_laptop_table  704 drivers/input/serio/i8042-x86ia64io.h static const struct dmi_system_id __initconst i8042_dmi_laptop_table[] = {
i8042_dmi_laptop_table 1151 drivers/input/serio/i8042-x86ia64io.h 				    dmi_check_system(i8042_dmi_laptop_table);