DMI_MATCH(DMI_PRODUCT_NAME, "HP Compaq 6715b"),
},
{
.callback = dmi_ignore_irq0_timer_override,
.ident = "HP 6715s laptop",
.matches = {
DMI_MATCH(DMI_SYS_VENDOR, "Hewlett-Packard"),
DMI_MATCH(DMI_PRODUCT_NAME, "HP Compaq 6715s"),
{}
};