|
@@ -1340,12 +1340,7 @@ static int __init dmi_disable_acpi(const struct dmi_system_id *d)
|
|
|
*/
|
|
|
static int __init dmi_ignore_irq0_timer_override(const struct dmi_system_id *d)
|
|
|
{
|
|
|
- /*
|
|
|
- * The ati_ixp4x0_rev() early PCI quirk should have set
|
|
|
- * the acpi_skip_timer_override flag already:
|
|
|
- */
|
|
|
if (!acpi_skip_timer_override) {
|
|
|
- WARN(1, KERN_ERR "ati_ixp4x0 quirk not complete.\n");
|
|
|
pr_notice("%s detected: Ignoring BIOS IRQ0 override\n",
|
|
|
d->ident);
|
|
|
acpi_skip_timer_override = 1;
|